*{padding:0;margin:0;border:0;}
html{background:#e5e5e5;}
body{font-size:12pt;font-family:sans-serif;text-decoration:none;color:#000;}
.main{background:#fff;padding:1.0%;position:relative;border:1px #000 solid;border-radius:15px;}
#content{margin:1% 2% 1% 2%;min-height:25em;}
#head{display:none;}
#menu{float:right;margin:0% 2%;text-align:center;z-index:1;border-radius:0 15px 0 15px;}
#menu a{display:block;font-weight:700;margin:.5em 0;text-decoration:none;}
.ad{text-align:center;}
#valid{margin:1em 0;text-align:center;}
pre{background:#e5e5e5;font-size:1em;padding:.5%;border:1px #000 solid;margin:1em;border-radius:15px;}
.quote{background:#e5e5e5;font-family:monospace;border:1px #000 solid;padding:.5%;margin:0.5em 1em;border-radius:15px;}
div#search{background:#000;border:1px #000 solid;padding:.5%;margin:1.5em 0;border-radius:15px;}
.addendum{background:#e5e5e5;border:1px #000 solid;padding:.5%;margin:1.5em 0;border-radius:15px;}
table{empty-cells:show;}
th,td,mtd{background:#e5e5e5;border:1px #000 solid;padding:1px}
.ralign td{text-align:right}
h1,h2,h3,h4{color:#333;margin:1em;}
h1{font-size:1.8em;}
h2{font-size:1.6em;}
h3{font-size:1.4em;}
h4{font-size:1.2em;}
h2 a{text-decoration:none;}
a{color:#105CB6;}
a:active{text-decoration:underline;}
a:hover{color:gray;}
p{margin:1em;}
img{margin-left:1em;}
svg{margin-left: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;}
.finished{text-decoration:line-through;}