l4/pkg/libstdc++-v3/contrib/libstdc++-v3-4.1.0/docs/doxygen/style.css

   1 BODY {
   2    background: white;
   3    font-size: small;
   4 }
   5 H1 { text-align: center; font-size: large }
   6 H2 { text-align: left; font-size: medium; }
   7 H3 { text-align: left; font-size: small; }
   8 CODE { font-size: small; }
   9 CAPTION { font-weight: normal }
  10 A.qindex {}
  11 A.qindexRef {}
  12 A.el { text-decoration: none; font-size: small; font-weight: normal }
  13 A.elRef { text-decoration: none; font-size: small; font-weight: normal }
  14 A.code { text-decoration: none; font-weight: normal; color: #4444ee }
  15 A.codeRef { font-weight: normal; color: #4444ee }
  16 A:hover { text-decoration: none; background-color: #f2f2ff }
  17 DL.el { margin-left: -1cm }
  18 DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
  19 DIV.ah {
  20    background-color: black;
  21    font-weight: normal;
  22    color: #ffffff;
  23    margin-bottom: 3px;
  24    margin-top: 3px
  25 }
  26 DIV.groupHeader {
  27    margin-left: 16px;
  28    margin-top: 12px;
  29    margin-bottom: 6px;
  30    font-weight: normal
  31 }
  32 DIV.groupText { margin-left: 16px; font-style: italic; font-size: small }
  33 TD.md { background-color: #f2f2ff; font-size: small; }
  34 TD.mdname1 { background-color: #f2f2ff; font-size: small; color: #602020; }
  35 TD.mdname {
  36    background-color: #f2f2ff;
  37    font-weight: normal;
  38    font-size: small;
  39    color: #602020;
  40    width: 600px
  41 }
  42 TD.indexkey {
  43    background-color: #eeeeff;
  44    font-weight: normal;
  45    font-size: small;
  46    padding-right  : 10px;
  47    padding-top    : 2px;
  48    padding-left   : 10px;
  49    padding-bottom : 2px;
  50    margin-left    : 0px;
  51    margin-right   : 0px;
  52    margin-top     : 2px;
  53    margin-bottom  : 2px
  54 }
  55 TD.indexvalue {
  56    background-color: #eeeeff;
  57    font-style: italic;
  58    font-size: small;
  59    padding-right  : 10px;
  60    padding-top    : 2px;
  61    padding-left   : 10px;
  62    padding-bottom : 2px;
  63    margin-left    : 0px;
  64    margin-right   : 0px;
  65    margin-top     : 2px;
  66    margin-bottom  : 2px
  67 }
  68 span.keyword       { color: #008000 }
  69 span.keywordtype   { color: #604020 }
  70 span.keywordflow   { color: #e08000 }
  71 span.comment       { color: #800000 }
  72 span.preprocessor  { color: #806020 }
  73 span.stringliteral { color: #002080 }
  74 span.charliteral   { color: #008080 }