.sectionImg { padding-right: 3px; border-right: solid 1px #999999; }
.java-keyword { color: #A5240E; font-weight: bold; font-family: courier new; font-size: 8pt; }
.keyword { color: #A5240E; font-weight: bold; font-family: courier new; font-size: 8pt; }
.comment { color: #327635; font-family: courier new; font-size: 8pt; }
.string { color: #1F6B8F; font-family: courier new; font-size: 8pt; }
.prefix { color: #000000; font-family: courier new; font-size: 8pt; }
.xml-element-name { color: #A5240E; font-weight: bold; font-family: courier new; font-size: 8pt; }
.xml-attribute-name { color: #2D752B; font-weight: bold; font-family: courier new; font-size: 8pt; }
.xml-attribute-value { color: #596CBB; font-weight: bold; font-family: courier new; font-size: 8pt; }
.xml-text { color: #1F6B8F; font-family: courier new; font-size: 8pt; }
.xml-comment { color: #327635; font-family: courier new; font-size: 8pt; }
.hoglet-keyword { color: #A5240E; font-weight: bold; font-family: courier new; font-size: 8pt; }
.hoglet-option-name { color: #2D752B; font-weight: bold; font-family: courier new; font-size: 8pt; }
.hoglet-option-value { color: #596CBB; font-weight: bold; font-family: courier new; font-size: 8pt; }
.source { font-family: courier new; font-size: 8pt; padding: 3px; border: solid 1px; }
.source-div { display: inline; min-width: 380px; width: 100%; }
.source-div pre { background-color: #ECF5FD; }
.command { background-color: #ECF5FD; width: 600px; font-family: courier new; font-size: 8pt; padding: 3px; border: dashed 1px; }
body {margin: 0px; background-color: #e0d1af; }
.text {padding-left: 3px; font-family: verdana, arial, helvetica; font-size: 10pt; }
td.dataItem {padding: 3px; font-family: verdana, arial, helvetica; font-size: 10pt; border-bottom: solid 1px #999999; vertical-align: top; }
td.headerItem {border: solid 1px #999999; background-color: #c7def1; padding-left: 3px; font-weight: bold; font-family: verdana, arial, helvetica; font-size: 10pt; }
.content { padding: 5px; }
.section { font-family: verdana, arial, helvetica; font-size: 10pt; padding: 5px; background-color: #faf9f8; border: solid 1px #999999; }
.subSection {padding: 3px; font-family: "Trebuchet MS", verdana, arial, helvetica; font-weight: bold; color: #545454; font-size: 12pt; background-color: #f3f1eb; border-top: solid 1px #999999; border-left: solid 1px #999999; border-right: solid 1px #999999; }
.mainSection {padding: 3px; font-family: "Trebuchet MS", verdana, arial, helvetica; font-weight: bold; color: #545454; font-size: 14pt; background-color: #f3f1eb; border-top: solid 1px #999999; border-left: solid 1px #999999; border-right: solid 1px #999999; }
.mainSectionImg { padding-right: 3px; border-right: solid 1px #999999; }
.mainSectionText {vertical-align: top; padding-left: 3px; font-family: "Trebuchet MS", verdana, arial, helvetica; font-weight: bold; color: #545454; font-size: 14pt; background-color: #f3f1eb; text-align: right; }
.subSubSection {padding: 3px; font-family: verdana, arial, helvetica; font-weight: bold; color: #545454; font-size: 10pt; border-bottom: solid 1px #999999; }
a {font-family: verdana, arial, helvetica; font-weight: bold; font-size: 10pt; color: #1f5ba4; text-decoration: none;}
a:hover {font-family: verdana, arial, helvetica; font-weight: bold; font-size: 10pt; color: #1f5ba4; text-decoration: underline;}
.java-source a {font-family: courier new; font-weight: bold; font-size: 8pt; color: black; text-decoration: none;}
.java-source a:hover {font-family: courier new; font-weight: bold; font-size: 8pt; color: #1f5ba4; text-decoration: underline;}
.divider { clear: both; }
.josql-keyword { font-family: courier new; font-weight: bold; font-size: 10pt; color: #4970A9; font-weight: bold; }
.josql-comment { font-weight: bold; color: #327635; font-family: courier new; font-size: 10pt; }
.josql-string { font-weight: bold; color: #798653; font-family: courier new; font-size: 10pt; }
.josql-prefix { color: #000000; font-family: courier new; font-size: 10pt; }
.josql-source { font-family: courier new; font-size: 10pt; padding: 3px 3px 3px 5px; border: solid; border-color: black black black #A5240E; border-width: 1px 1px 1px 3px; }