doc/doxygen/style.css

   1 body {background : #5a6975}
   2
   3 a {color : #9aacbb; font : medium "Helvetica", sans-serif}
   4 a:visited {color : #143e65}
   5 a:hover {color : #b9ccdb}
   6
   7 H1 { text-align: center; }
   8 CAPTION { font-weight: bold }
   9 A.qindex {}
  10 A.qindexRef {}
  11 A.el { text-decoration: none; font-weight: bold }
  12 A.elRef { font-weight: bold }
  13 A.code { text-decoration: none; font-weight: normal; color: #4444ee }
  14 A.codeRef { font-weight: normal; color: #4444ee }
  15 DL.el { margin-left: -1cm }
  16 DIV.fragment { width: 100%; border: none; background-color: #6a7985 }
  17 DIV.ah { background-color: black; font-weight: bold; color: #8a99a5; margin-bottom: 3px; margin-top: 3px }
  18 TD.md { background-color: #7a8995; font-weight: bold; }
  19 TD.mdname1 { background-color: #7a8995; font-weight: bold; color: #602020; }
  20 TD.mdname { background-color: #7a8995; font-weight: bold; color: #602020; width: 600px; }
  21 DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
  22 DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
  23 TD.indexkey {
  24    background-color: #6a7985;
  25    font-weight: bold;
  26    padding-right  : 10px;
  27    padding-top    : 2px;
  28    padding-left   : 10px;
  29    padding-bottom : 2px;
  30    margin-left    : 0px;
  31    margin-right   : 0px;
  32    margin-top     : 2px;
  33    margin-bottom  : 2px
  34 }
  35 TD.indexvalue {
  36    background-color: #6a7985;
  37    font-style: italic;
  38    padding-right  : 10px;
  39    padding-top    : 2px;
  40    padding-left   : 10px;
  41    padding-bottom : 2px;
  42    margin-left    : 0px;
  43    margin-right   : 0px;
  44    margin-top     : 2px;
  45    margin-bottom  : 2px
  46 }
  47 span.keyword       { color: #008000 }
  48 span.keywordtype   { color: #604020 }
  49 span.keywordflow   { color: #e08000 }
  50 span.comment       { color: #800000 }
  51 span.preprocessor  { color: #806020 }
  52 span.stringliteral { color: #002080 }
  53 span.charliteral   { color: #008080 }