html{height: 100%}

body {
  font-family: georgia, times, "times new roman", serif;
  background-color: rgb(255,204,102) ;  
  height: 100%; 
  position: relative;
  margin: 0;
  padding: 0;
  border: 0;
}

div.container {
 position: relative;
 margin-bottom: 10pt;
}

div.header {
 width=100% ;
 padding-bottom: .5em;
 padding-top: .5em;
 background-color: rgb(255,204,102) ;
 text-align: center ;
 vertical-align: top ;
 font-size: 150% ;
 font-family: georgia, times, "times new roman", serif;
} 

div.menusidebar {
  margin-left: 10px;
  margin-right: 10px;
  position: fixed; 
  min-width: 100px;
  text-align: left;
  float: left;
}

div.menusidebar a {
 display: block ; 
 line-height: 200% ; 
 font-size: 125%
}
div.menusidebar a:link {color: #000099}
div.menusidebar a:vlink {color: #990099}
div.menusidebar a:alink {color: #990099}

div.pagebody {
  margin-left: 140px ;
  font-family: georgia, times, "times new roman", serif;
  background-color: rgb(255,255,240) ;
  padding: 0.5em ;
  min-height: 100% ;
  width: auto;
  text-align: left;
  margin-bottom: 0.5em;
  display: block-inline;
}

<!--
html > body div.pagebody {
  height: auto;
}
-->

div.pubyear {
  line-height: 200% ;
  font-weight: bold ;
}

div.pub a:link { font-style: italic } 
div.pub a:visited { font-style: italic } 
div.pub { 
  margin-top : 10pt ;
  margin-bottom : 10pt ; 
}