/* Please do not put font names in quotes, those do not work with Netscape 4.x! [trf] */
body,td { font-family: Helvetica, Arial, sans-serif ; font-size: 14px ; margin-top: 0px ; margin-bottom: 0px ; margin-left: 0px ; margin-right: 0px }
code { color: #0000a0 }
.Menu { font-family: Helvetica, Arial, sans-serif ; font-weight: bold }
.Normal { font-family: Helvetica, Arial, sans-serif ; font-weight: normal }
.Path { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; font-size: 0.9em ; color: #ffffff }
.PathInfo { font-family: Helvetica, Arial, sans-serif ; font-weight: normal ; font-size: 0.9em ; color: #ffffff }
.Copyright { font-family: Helvetica, Arial, sans-serif ; font-weight: normal ; font-size: 0.7em ; color: #ffffff }
.Small { font-family: Helvetica, Arial, sans-serif ; font-weight: normal ; font-size: 0.8em }
.Header { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; font-size: 1.0em ; color: #ffffff }
.Smaller { font-size: 0.9em }
.Bigger { font-size: 1.1em }
.ResultInfo { font-size: 0.8em }
.Document p { margin-top: 0.7em ; margin-bottom: 0.7em }
.WhiteBorder { border-color: white }
.KnownBug { margin-top: 0.9em ; margin-bottom: 0.1em }
.BugListing { font-size: 0.9em ; margin-top: 0.0em ; margin-bottom: 0.1em }
.BugURL { font-size: 0.9em ; margin-top: 0.0em ; margin-bottom: 0.1em }
pre { font-family: Lucida Console, Monaco, Courier, monospace ; margin-top: 0.1em ; margin-bottom: 0.3em ; font-size: 12px }
p { font-family: Helvetica, Arial, sans-serif ; margin-top: 0.1em ; margin-bottom: 0.3em }
.ResultMargin { margin-top: 0.2em ; margin-bottom: 0.6em }
h1,h2,h3,h4,h5,h6 { font-family: Helvetica, Arial, sans-serif ; margin-top: 0.2em ; margin-bottom: 0.1em }
ul,ol,dl { font-family: Helvetica, Arial, sans-serif ; margin-top: 0.1em ; margin-bottom: 0.1em }
a.Navigation:link { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; text-decoration: none ; color: #0000aa }
a.Navigation:visited { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; text-decoration: none ; color: #1111aa }
a.Navigation:hover { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; text-decoration: underline ; color: #ff0000 }
a.PathLink:link { text-decoration: underline ; color: #aaaaff }
a.PathLink:visited { text-decoration: underline ; color: #aaaaff }
a.PathLink:hover { text-decoration: underline ; color: #ffaaaa }
a.WhiteLink:link { text-decoration: underline ; font-weight: bold ; color: #ccccff }
a.WhiteLink:visited { text-decoration: underline ; font-weight: bold ; color: #eeeeff }
a.WhiteLink:hover { text-decoration: underline ; font-weight: bold ; color: #ffaaaa }
a:link { text-decoration: none ; color: #0000aa }
a:visited { text-decoration: none ; color: #5555aa }
a:hover { text-decoration: underline ; color: #ff0000 }
input.NavSearchButton { height: 20px ; vertical-align: middle ; font-size: 14px }
input.NavSearchField { height: 18px ; vertical-align: middle ; font-size: 14px }
table.NavBarHeight { border-width: 0px ; border: none ; height: 26px }
table.FrameTitleHeight { border-width: 0px ; border: none ; height: 32px }
input.FixedWidthField { font-family: Lucida Console, Monaco, Courier, monospace ; font-size: smaller }
textarea.FixedWidthField { font-family: Lucida Console, Monaco, Courier, monospace ; font-size: smaller }
.SubHeading { font-family: Helvetica, Arial, sans-serif ; margin-top: 0.5em ; margin-bottom: 0.5em ; color: #2040c0 }
.KnownBug { background-color: #e6f4ff ; border: 1px solid ; border-color: #cfdbe5 }
.BugURL { background-color: #e0ffff }
.WhiteText { color: #ffffff }
.SmallWhiteText { font-family: Helvetica, Arial, sans-serif ; font-weight: normal ; font-size: 0.8em ; color: #ffffff }
.Cited { background-color: #fffff8 ; border: 1px solid ; border-color: #fffff0 }

td.frameHeaderTitle {
    padding-top: 2px;
    border-top-left-radius: 4px;
    border-top-right-radius: 4px;
}