.small { font-size: 64%; font-family: Arial, sans-serif }
.smaller { font-size: 64%; font-weight: 900; font-family: Arial, sans-serif; color: #663399 }
.big {font-size: 200%}
h1 { font-family: Arial, Helvetica, sans-serif; font-weight: bold; color: #990000; font-size: 135%; font-style: normal}
h2 { font-family: Arial, Helvetica, sans-serif; color: #000000; ; font-size: 120%; font-weight: bold}
h3 {
font-family: Arial, Helvetica, sans-serif;
color: #000000;
;
font-size: 100%;
font-style: normal;
}
h4 { font-family: Arial, Helvetica, sans-serif; font-weight: bold; color: #990000; font-size: 95%}
p { font-family: Arial, Helvetica, sans-serif; color: #000000; font-size: 90%}
.center { text-align: center}
.b { font-family: Arial, Helvetica, sans-serif; font-weight: bold; color: #000000}
.red {color: #990000; font-weight: bold}
a:visited { font-family: Arial, Helvetica, sans-serif; }
a:link { font-family: Arial, Helvetica, sans-serif; }
a:hover {
font-family: Arial, Helvetica, sans-serif;
color: #FF3300;
}
a:active { font-family: Arial, Helvetica, sans-serif; }
.space { line-height: 100%; font-weight: bold}
.italic { font-size: 90%; font-style: italic; line-height: normal; font-family: Arial, Helvetica, sans-serif}
p.side { line-height: 90%; font-weight: bold; font-size:80%}
.topNav { font-family: Arial, Helvetica, sans-serif; font-size: 80%; font-weight: bold}
.H1pages { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 120%}
.copyright { font-family: Arial, Helvetica, sans-serif; font-size: 70%; text-align: center; color: #333333}
.leftNav { font-family: Arial, Helvetica, sans-serif; font-size: 80%}
.leftNav { font-family: Arial, Helvetica, sans-serif}
.bigger { font-size: 250%}
.bigger { font-size: 280%}
.small { font-size: 80%}
ul { font-family: Arial, Helvetica, sans-serif; font-size: 90%}
ol { font-family: Arial, Helvetica, sans-serif; font-size: 90%}
.margin { margin-left: 30px}
.I { font-family: Arial, Helvetica, sans-serif}
.I { font-family: Arial, Helvetica, sans-serif; font-style: italic}
a { font-family: Arial, Helvetica, sans-serif}
dl { font-family: Arial, Helvetica, sans-serif; font-size: 90%}
td { font-family: Arial, Helvetica, sans-serif; font-size: 90%}
.LeftRightMargin {
margin-right: 10px;
margin-left: 10px;
}
.underline {
text-decoration: underline;
}
.box {
height: 60%;
width: 60%;
border: thin solid #009933;
overflow: visible;
text-align: center;
}
.borderColor {
border: #006600;
}
pre {
font-family: Arial, Helvetica, sans-serif;
font-size: 80%;
}
pre {
font-family: Arial, Helvetica, sans-serif;
font-size: 80%;
}
.bits {
font-family: Arial, Helvetica, sans-serif;
font-size: 75%;
font-weight: bold;
}
.bigtext {
font-family: Arial, Helvetica, sans-serif;
font-size: 100%;
color: #000000;
}
.blue {
color: #0000FF;
font-weight: bold;
font-size: 100%;
}
.h5 {
font-family: Arial, Helvetica, sans-serif;
font-size: 100%;
font-weight: bold;
color: #00000;
}
.h5int {
font-family: Arial, Helvetica, sans-serif;
font-size: 100%;
font-weight: bold;
color: #0000FF;
}
body {
border: 1px solid #333333;
padding: 5px;
}
a.nav:link {
color: #003A8E;
font-family: Arial, Helvetica, sans-serif;
font-weight: bold;
font-size: 90%;
}
a.nav:visited {
color: #990000;
font-family: Arial, Helvetica, sans-serif;
font-size: 90%;
font-weight: bold;
}
a.nav:hover {
color: #666666;
font-family: Arial, Helvetica, sans-serif;
font-size: 90%;
font-weight: bold;
}