H1 {
font-family: Arial;
font-weight: bold;
font-size: 125%;
margin-left: 49;
}

H2 {
font-family: Arial;
color: #800000;
font-weight: bold;
font-size: 100%;
margin-left: 49;
}

H4 {
font-family: Arial Unicode MS;
font-weight: bold;
font-size: 125%;
margin-left: 49;
}

small {
font-size: 80%;
}

.page {
font-family: Arial;
font-size: 44pt;
margin-bottom: 1px;
font-weight: bold;
}

.pagemin {
font-family: Verdana;
font-size: 14pt;
margin-top: -10px;
margin-left: 4;
}

.bginfo {
font-family: Verdana;
margin-left: 0;
}

.tex {
font-family: Arial;
font-size: 84%;
font-weight: normal;
text-align: justify;
margin-left: 64;
margin-right: 128;
margin-top: 10px;
margin-bottom: 10px;
 }

.toptex {
font-family: Arial;
font-size: 84%;
font-weight: bold;
text-align: justify;
margin-left: 49;
margin-right: 128;
margin-top: 10px;
margin-bottom: 10px;
 }

.text {
font-family: Arial;
font-size: 84%;
font-weight: normal;
text-align: left;
margin-left: 64;
margin-right: 128;
margin-top: 10px;
margin-bottom: 10px;
 }

.min {
font-family: Arial;
font-size: 70%;
font-weight: normal;
text-align: justify;
margin-left: 49;
margin-right: 128;
margin-top: 10px;
margin-bottom: 10px;
 }

.sym {
font-family: Arial Unicode MS;
font-size: 80%;
font-weight: normal;
text-align: justify;
margin-left: 49;
margin-right: 128;
margin-top: 10px;
margin-bottom: 10px;
 }

.ext {
font-family: Arial Unicode MS;
font-weight: normal;
margin-left: 16;
margin-top: 1px;
margin-bottom: 1px;
 }

.mex {
font-family: Arial;
font-size: 80%;
font-weight: normal;
margin-left: 16;
margin-top: 1px;
margin-bottom: 1px;
 }

.bigleft {
text-align: left;
font-size: 125%;
font-weight: bold;
margin-top: 1px;
 }

.fext {
font-family: Arial Unicode MS;
font-weight: normal;
margin-left: 16;
margin-top: 10px;
margin-bottom: 1px;
 }

.copyleft {
font-family: Arial;
font-size: 8pt;
font-weight: normal;
margin-top: 7px;
margin-bottom: 7px;
 }

a:link {color: blue; text-decoration: none}
a:visited {color: blue; text-decoration: none}
a:hover {color: red; text-decoration: underline}