td {  font-size: 75%; font-family: Georgia, "Times New Roman", Times, serif; border-color: black black #ddaa11; border-style: dotted; border-top-width: 0px; border-right-width: 0px; border-bottom-width: thin; border-left-width: 0px}

body {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 75%; color: #333333;}

h2 {  font-family: Geneva, Arial, Helvetica, san-serif; color: #666666}

h3 {  font-family: Geneva, Arial, Helvetica, san-serif}

.searchbox {
font-size: 120%;
font-weight:bold;
line-height: 1.5em;
height: 1.5em;
}

.linkboxes {
font-family: Geneva, Arial, Helvetica, san-serif; font-size: 90%; color: #666666;
border: thin dotted #ddaa11;
background-color: #FEFAE9;
padding: 3px;
text-align: left;
margin-bottom: 1em
}

.listentries {
padding-bottom: 0.5em;
padding-left: 0.5em;
}

.boxtitle {
background-color:#CC9900;
padding: 2px;
color: white;
margin-bottom: 2px;
}

.buttons {  font-family: Georgia, "Times New Roman", Times, serif; border: 1px #FFD980 solid; background-color: #FEFAE9;
color: #CC9900;
font-size: 90%;
font-weight: bold;
margin: 2px;
width:2em;
padding: 1px
}

.mini {  font-family: Geneva, Arial, Helvetica, san-serif; font-size: 90%; color: #666666}
.title {  color: #ddaa11}

a:link {  color: #FF6600}
a:visited {  color: #FF9900}
.highlight {  background-color: #FFFFCC}
.red {  color: #990000}
.nolineintd {
	border: dotted #FFFFFF;
}

.nodecor {
	text-decoration: none;
	color: #FFFFFF;
}
a:link.helplinks {
   COLOR: #FF6600;
   BORDER-BOTTOM: 1px dotted #FF6600;
   TEXT-DECORATION: none;
}
a:visited.helplinks {
   COLOR: #FF6600;
   BORDER-BOTTOM: 1px dotted #FF6600;
   TEXT-DECORATION: none;
}
li {  padding-bottom: 0.5em}
code {
	font-size: 12px;
}
pre {
	font-size: 12px;
}