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;
}
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 ;
}