/* 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 }
.CodeListing {
  font-size: 0.8em ;
  font-family: "Lucida Console,Lucida Sans Typewriter,Courier New,monospace" ;
  color: #000000 ;
  background-color: #d6f4e0 ;
  border: 1px solid ;
  border-color: #cfdbe5 ;
  padding: 3pt;
  margin-top: 5px;
  margin-bottom: 5px;
  margin-left: 10px;
  margin-right: 50px;
}
pre { font-family: Lucida Console, Monaco, Courier, monospace ; margin-top: 0.1em ; margin-bottom: 0.3em }
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 }
.NewsTitle { font-family: Helvetica, Arial, sans-serif ; font-weight: bold; background-color: #e6f4ff ; border: 1px solid ; border-color: #cfdbe5 }
.NewsBody { font-family: Helvetica, Arial, sans-serif ; margin-left: 0.2em; text-align: justify; margin-top: 3px; }
.NewsDate { font-size: 0.8em; font-style: italic; margin-bottom: 7px; margin-left: 0.2em; }
.NewsBody ul li { margin-left: -1em }
.PermaLink { font-size: 0.8em; font-style: italic; margin-bottom: 7px; margin-left: 0.2em; }
a.Navigation:link { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; text-decoration: underline ; color: #0000ff }
a.Navigation:visited { font-family: Helvetica, Arial, sans-serif ; font-weight: bold ; text-decoration:underline ; 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: #eeeeff }
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: #eeeeaa }
a.WhiteLink:hover { text-decoration: underline ; font-weight: bold ; color: #ffaaaa }
a:link { text-decoration: underline ; color: #0000ff }
a:visited { text-decoration: underline ; 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 }
.Cited { background-color: #fffff8 ; border: 1px solid ; border-color: #fffff0 }
TextArea.EditText { font-family: lucida console, courier ; font-weight: normal ; font-size: 0.8em }
.indented { margin-left: 0px ; margin-right: 20px ; Text-Align: justify }
.space15 { margin-bottom: 0.5em }
.highlighted { background-color: #ffff40; }
.SidebarContent { padding: 5px; }

/* from http://www.spiffycorners.com/ */

.spiffy{
display:block
}
.spiffy *{
display:block;
height:1px;
overflow:hidden;
background:#d6e4ef
}
.spiffy1{
border-right:1px solid #edf3f8;
padding-right:1px;
margin-right:3px;
border-left:1px solid #edf3f8;
padding-left:1px;
margin-left:3px;
background:#e0eaf3;
}
.spiffy2{
border-right:1px solid #fafcfd;
border-left:1px solid #fafcfd;
padding:0px 1px;
background:#dde9f2;
margin:0px 1px;
}
.spiffy3{
border-right:1px solid #dde9f2;
border-left:1px solid #dde9f2;
margin:0px 1px;
}
.spiffy4{
border-right:1px solid #edf3f8;
border-left:1px solid #edf3f8;
}
.spiffy5{
border-right:1px solid #e0eaf3;
border-left:1px solid #e0eaf3;
}
.spiffy_content{
padding:0px 5px;
background:#d6e4ef;
color: black;
font-weight: bold;
padding:0px 10px;
}