/*<![CDATA[*/
body { margin-top: 1em;
	width:expression(document.body.clientWidth > (500/12) *
	parseInt(document.body.currentStyle.fontSize)?"50em":"auto");
	max-width: 50em; padding: 0px;
	background: #111; color: #521;
	margin-left: auto; margin-right: auto; }
h1 { text-align: center }
h2 { margin-top: 1.5em }
div {text-align: center; }
sup, sub { font-size: xx-small; }
td { padding-right: 0.5em }
#header { text-align: center; padding: 1em 0 1em 0; margin: 0 0 0 0; }
#footer { text-align: center; font-size: 80%; }
#nav { font-weight: bold; font-size: 1.5em; }
.innernav { color: #111; background: #521; text-align: center;
    font-size: 90%;
    border-top: solid #521 1px;
    border-bottom: solid #521 2px}
.innernav :link, .focus { color: #FFC; background: #521; font-weight: bold;}
.innernav :visited { color: #EDB; background: #111;}
.innernav a:active { background: #483D8B; color: #FFC}
.innernav b { color: #FFC; background: #521; }
:link, .focus { color: #E00; background: #111}
:visited { color: #A0522D; background: #111}
a:active { background: #483D8B; color: #111}
.comment { font-size: 80%; } 
.ex { text-align: center }
.number { text-align: right; }
.tu { font-weight: bold }
ol ol {list-style-type: lower-alpha;}
.focus {color: #E00}
/*]]>*/