*{padding:0;margin:0;border:0;}
html{background:#fff url(back.jpg) repeat fixed 0 0;}
body{font-size:0.9em;font-family:sans-serif;text-decoration:none;color:#FFF;}
.main{padding:1%;position:relative;border:1px #FFF solid;}
#content{margin:0 0 0 20%;background:#000 url(content.jpg) repeat fixed 0 0;width:76%;min-height:25em;}
#head{margin:1% 2% 2%;width:94%;height:4%;text-align:center;font-variant:small-caps;background:#000 url(head.jpg) repeat fixed 0 0;}
#menu{float:left;margin:0 2% 1em;width:14%;background:#000 url(menu.jpg) repeat fixed 0 0;text-align:center;min-height:25em;}
#menu a{display:block;font-weight:700;margin:1em 0;text-decoration:none;}
.ad{text-align:center;}
#valid{margin:1em 0;text-align:center;}
pre{font-size:1.3em;padding:.5%;background:#000;border:1px #FFF solid;margin:.5em 0;}
.quote{font-family:"DejaVu Sans Monospace",monospace;border:1px #FFF solid;background:#000;padding:.5%;margin:1.5em 0;}
.addendum{border:1px #FFF solid;background:#000;padding:.5%;margin:1.5em 0;}
table{width:100%;empty-cells:show;}
th,td,mtd{border:1px #000 solid;padding:1px}
h1{font-size:1.8em;}
h2{font-size:1.4em;}
h3{font-size:1em;}
h2 a{text-decoration:none;}
a:link{color:#FFF;}
a:visited{color:#FFF;}
a:active{text-decoration:underline;}
a:hover{color:gray;}
p{margin:1em;}
math{font-size:1.4em;font-family:"DejaVu Serif",serif;}
li{margin:0 3em;}
ol,ul{padding:.25em 0;}
hr{margin:1em 0;}
a.have{color:green;}
a.donthave{color:red;}