H1 { font-size: 14px }
A.qindex {}
A.qindexRef {}

A.el:link, A.el:visited, A.el:hover, A.el:active { 
  text-decoration: none; font-weight: bold; color: #005599
}

A.elRef { font-weight: bold }

A.code:link, A.code:visited, A.code:hover, A.code:active { 
  font-family: Courier; 
  color: #4444ff
}

A.codeRef { font-weight: normal; font-family: Courier; color: #004477; }

DL.el { margin-left: -1cm }
DIV.fragment { width: 600; border: none; background-color: #ddf0ff }
DIV.ah { background-color: black; margin-bottom: 3; margin-top: 3 }
TD.md { background-color: #f2f2ff }
DIV.groupHeader { margin-left: 16; margin-top: 12; margin-bottom: 6; font-weight: bold }
DIV.groupText { margin-left: 16; font-style: italic; font-size: smaller }
FONT.keyword       { color: #008000 }
FONT.keywordtype   { color: #604020 }
FONT.keywordflow   { color: #b07000 }
FONT.comment       { color: #aa3333 }
FONT.preprocessor  { color: #806020 }
FONT.stringliteral { color: #002080 }
FONT.charliteral   { color: #008080 }