h1 { font-family: sans-serif; font-size: 200%; }
h2 { font-family: sans-serif; font-size: 150%; }
h3 { font-family: sans-serif; font-size: 110%; }
h4 { font-family: sans-serif; font-size: 100%; }
h5 { font-family: sans-serif; font-size: 100%; }
pre { font-family: monospace; font-size: 100%; }


div.contents { 
  position: absolute;
  top: 0;
  right: 0;
  width: 15em;
  height: 100%;
  line-height: 150%;
  background: #FFFFE0;
}


div.main
{
  height: 100%;
  overflow: auto;
  margin: 0 15em 0 0;
}

@media screen
{
  body>div.main
  {	
    height: auto;
    overflow: visible;
    margin: 0 15em 0 0;
  }
  body>div.contents
  {
    position: fixed;
  }
}