div.nav{
    background-color:#ffffdd;
    border:solid 2px #000000;
    padding: 2px;
    margin:3px;
  }
div.extra{
    background-color:#ffffdd;
  }
.extra_head{
    font-size:18px; font-weight:bold;
  }
.autosizing{
    width:500px;
    height:auto;
  }
div.nav{
    display:inline-block
  }
@media (min-width:500px){
    div.nav{
        max-width:250px;
        overflow:auto;
        float:left;
        margin-left:-3px;
        box-sizing:border-box;
      }
    .footnote{
        color:#bb4444;
        font-style:italic;
      }
    .autosizing{
        width:500px;
        height:auto;
      }
  }
@media (max-width:500px){
    div.nav{
        text-align:center;
        float:none;
        margin:auto;
        height:auto;
        width:470px;
      }
    a.nav{
        border:solid 2px #000000
      }
    .extra{
        display:none;
      }
    .autosizing{
        max-width:350px;
        height:auto;
      }
  }
@media print{
    div.extra{
        bottom:50px;
          }
    html{
        font-size:90%;
      }
    p.nav{
        display:none;
      }
    .heading{
        color:#000000;
      }
  }