doc/salome/tui/SUPERV/sources/static/doxygen.css

   1 H1 { text-align: center; }
   2 CAPTION { font-weight: bold }
   3 A.qindex {}
   4 A.qindexRef {}
   5 A.el { text-decoration: none; font-weight: bold }
   6 A.elRef { font-weight: bold }
   7 A.code { text-decoration: none; font-weight: normal; color: #4444ee }
   8 A.codeRef { font-weight: normal; color: #4444ee }
   9 A:hover { text-decoration: none; background-color: lightblue }
  10 DL.el { margin-left: -1cm }
  11 DIV.fragment { width: 100%; border: none; background-color: #CCCCCC }
  12 DIV.ah { background-color: #CCCCCC; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
  13 TD.md { background-color: lightblue; font-weight: bold; }
  14 TD.mdname1 { background-color: lightblue; font-weight: bold; color: #602020; }
  15 TD.mdname { background-color: lightblue; font-weight: bold; color: #602020; width: 600px; }
  16 DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
  17 DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
  18 BODY { background: url(sources/bg_salome.gif) }
  19 TD.indexkey {
  20    background-color: #CCCCCC;
  21    font-weight: bold;
  22    padding-right  : 10px;
  23    padding-top    : 2px;
  24    padding-left   : 10px;
  25    padding-bottom : 2px;
  26    margin-left    : 0px;
  27    margin-right   : 0px;
  28    margin-top     : 2px;
  29    margin-bottom  : 2px
  30 }
  31 TD.indexvalue {
  32    background-color: #CCCCCC;
  33    font-style: italic;
  34    padding-right  : 10px;
  35    padding-top    : 2px;
  36    padding-left   : 10px;
  37    padding-bottom : 2px;
  38    margin-left    : 0px;
  39    margin-right   : 0px;
  40    margin-top     : 2px;
  41    margin-bottom  : 2px
  42 }
  43 span.keyword       { color: #008000 }
  44 span.keywordtype   { color: #604020 }
  45 span.keywordflow   { color: #e08000 }
  46 span.comment       { color: #800000 }
  47 span.preprocessor  { color: #806020 }
  48 span.stringliteral { color: #002080 }
  49 span.charliteral   { color: #008080 }