h2.pagehead   {  }
h4.pagesubhead {  }
p.navbar     {
   font-family : "Trebuchet MS", "Times New Roman", serif;
   font-size: 10pt;
}
h5.navbar     {
   font-family : "Trebuchet MS", "Times New Roman", serif;
}
kbd.smallprint  { font-size: 8pt; font-family: Verdana }
.command {
    font-family: "Courier New", "Courier", monospaced;
    font-weight: bold;
    font-size: 10pt
}
.fileref {
	font-family: Courier New, Courier, monospaced;
	font-size: 90%;
}
.filereference {
	font-family: Courier New, Courier, monospaced;
	font-size: 90%;
}
.input {
	font-family: Courier New, Courier, monospaced;
	font-size: 80%;
}
.menucommand {
	font-family: Courier New, Courier, monospaced;
	font-size: 80%;
}
.searchterms {
    font-size: 8pt;
    font-family: Verdana
}
.smallprint {
	font-size: 90%;
}
.sourcecode {
	font-family: Courier New, Courier, monospaced;
	font-size: 90%;
}
blockquote.workbench {
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 12px;
    line-height: 14px;
    background-color: #FFFFFF;
    color: #404040;
    padding-left: 7px;
    padding-right: 7px;
    padding-top: 2px;
    padding-bottom: 2px
}
blockquote.workbench a {
    font-weight: bold;
    text-decoration: none;
}
blockquote.workbench a:link {
    color: #0066CC;
}
blockquote.workbench a:visited {
    color: #0099CC;
}
blockquote.workbench a:hover {
    color: #FFFFFF;
    background-color: #009999;
}
blockquote.workbench a:active {
    color: #FF0033;
    background-color: transparent;
}