body { color: #111111; background-color: #fafafa; font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; font-size: 10pt; margin: 0px; }
pre { font-family: Lucida Console, monospace; }
tt { font-family: Lucida Console, monospace; }

.h1 { font-size: 30pt; color: #666666; font-family: Verdana,Geneva,Arial,Helvetica,sans-serif; font-weight: bold; }
.h1black { font-size: 18pt; color: black; font-family: Verdana,Geneva,Arial,Helvetica,sans-serif; }
.h2 { font-size: 14pt; color: #666666; font-weight: bold; }
.h2black { font-size: 14pt; color: black; }
.h3 { font-weight: bold; color: #666666; }

a { color: #339933; text-decoration: none; }
a:visited { color: #339933; text-decoration: none; }
a:hover { color: #003300; text-decoration: underline; }

a.side { color: #993300; text-decoration: none; font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }
a.side:visited { color: #cc3300; text-decoration: none; }
a.side:hover { color: black; text-decoration: underline; }

a.anchor { color: #000066; text-decoration: none; }

.text { color: #111111; ; font-size: 12px}

p { font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }
ul { font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }
li { font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }
h4 { font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }

td { color: #111111; font-family: Verdana, Geneva, Arial, Helvetica, sans-serif; }
td.side { color: black; background-color: #dddddd; font-size: 10pt; }
td.menu { background-color: #c5c5c5; font-size: 10pt; }
td.active { background-color: #f5f5f5; font-size: 10pt; }

.border { background-color: #aaaaaa; }
.green { background-color: #99aa99; color: white; font-weight: bold; }

.hordeTitle { font-family: Verdana, sans-serif; font-size: 30px; font-weight: bold; color: #666666; position: relative; top: auto; left: auto; text-decoration: none; ; clip:  rect(   )}
.hordeTitleShadow { font-family: verdana,sans-serif; font-size: 30px; font-weight: bold; color: #aaaaaa; position: relative; left: 10px; text-decoration: none; }

code { color: #993300; background-color: #eeeeee; }