body { background: #f0f0f0; margin-left: 10%; margin-right: 10%; }

div.topnav { margin-left: -10%; padding-bottom:1em; }
div.topnav li { list-style: none; float: left; padding-right: 1em; white-space:nowrap; }

div.botnav { margin-left: -5%; background: green; }
div.botnav li { list-style: none; float: left; padding-right: 1em; white-space: nowrap;}

div.text { padding-top: 1em; padding-right: 1em; clear:left; }


h1,h2,h3,h4 { clear: left; }

div.text p { margin-bottom:0; margin-top:0.2em; text-indent: 2em; }
div.text h4 { margin-bottom:0.4em; }

div.numtoc { background: #f0f0f0; margin-right:10%; }
div.numtoc h1 { margin-left: -4%; padding-left: 5%; color: #b11457; }
div.numtoc h3 { margin-left: -5%; padding-left: 5%; color: #000099; }
div.numtoc h4 { padding-left: 2%; color: #000066; }
div.numtoc h1,h2,h3,h4,p { padding-left: 3%; }

a:link { color: black; }
a:visited { color: #666666; }
a.accented:visited, a.accented:link { color: #000066; }
a.const:visited { color: black; }
td { padding: 0.5em; }

div.text .au { margin-top: 0; margin-bottom:0; padding-bottom:0; }
div.text .ti { padding-top: 0; color: #b11457; margin-top:0; }
div.text .subti { font-size: smaller; padding-top: 0; color: #333333; margin-top:0; }
div.text .epi { letter-spacing: 2px; padding-left: 35%; padding-bottom:0.6em; text-indent:0; }
.menutext {text-align:right; vertical-align:middle; } 
.nav {text-align: center; } 
.n {font-size: smaller; font-style:italic; color: #404040; font-weight: normal; }
div.text .note {font-size: smaller; font-style:italic; color: #404040; padding-bottom:0.5em; margin-left:2em; text-indent:0; }
.b  {vertical-align: top; background: #f6f6f6; color: #000000; padding: 0.5em;
     border: none; border-right-style:dotted; border-width:thin; border-color:#000000; font-style: italic; }
.c  {vertical-align: top; padding: 0.5em;  padding-bottom: 3em; background: #ffffff;}
.ce {text-align: center;}
.fn { margin-left: 0.8em; text-indent: -0.8em; }
.ver { padding-left: 25%; padding-right: 25%; text-indent:0; }
.quo { padding-left: 5%; padding-right: 5%; color:#000066; }
div.text .tbl { font-weight: bold; font-size: smaller; font-style: italic; }
div.text .fig { font-weight: bold; font-size: smaller; font-style: italic; }
div.text p.trans { padding-top:1em; padding-bottom:0.5em; font-style: italic; text-align:right;}
div.app p { text-indent:0; font-size:smaller; }