#text07 { font-family: arial; font-size: 36pt }
#text06 { font-family: arial; font-size: 24pt }
#text05 { font-family: arial; font-size: 15pt }
#text04 { font-family: arial; font-size: 14pt }
#text03 { font-family: arial; font-size: 13pt }
#text02 { font-family: arial; font-size: 12pt }
#text01 { font-family: arial; font-size: 11pt }
#text00 { font-family: arial; font-size: 10pt }
#text-01 { font-family: arial; font-size: 9pt }
#text-02 { font-family: arial; font-size: 8pt }
#text-03 { font-family: arial; font-size: 7pt }
#text-04 { font-family: arial; font-size: 6pt }
form {margin-bottom: 0px; margin-top: 0px;}
div {margin-bottom: 0px; margin-top: 0px;}
ul {margin-left: 0; padding-left: 0; margin-bottom: 0px; margin-top: 0px;}
li {margin-left: 0; padding-left: 0; margin-bottom: 0px; margin-top: 0px;}
pre {margin-bottom: 0px; margin-top: 0px;}
area {margin-bottom: 0px; margin-top: 0px;}
center  {margin-bottom: 0px; margin-top: 0px;}
.roll { color:#808080; text-decoration:none;}
A.roll:hover { color:black; text-decoration:none;}
.roll2 { color:#808080; text-decoration:underline;}
A.roll2:hover { color:black; text-decoration:none;}
.roll3 { color:white; text-decoration:underline;}
A.roll3:hover { color:white; text-decoration:none;}
.hidden { display: none; }
.unhidden { display: block; }
ul[id ~= 'child'] { display: none; }
ul:target { display: block; }