/*<![CDATA[*/
body { 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 }
table, tbody, tr, td, th { display: block }
/* td { padding-right: 0.5em } */
img { content: attr(alt); }
pre { white-space: pre-wrap; }
#header { text-align: center; padding: 1em 0 1em 0; margin: 0 0 0 0; }
#footer { text-align: center; font-size: 80%; }
#nav { text-align: center; font-weight: bold; font-size: 1.5em; }
:link, .focus { color: #DD1100; background: #EEDDBB}
:visited { color: #A0522D; background: #EEDDBB}
:active { color: #483D8B; background: #EEDDBB}
.comment { font-size: 80%; } 
.ex { text-align: center }
.number { text-align: right; }
.tu { font-weight: bold }
ol ol {list-style-type: lower-alpha;}
/*]]>*/