doxygen/html/doxygen.css
changeset 0 04114bce8fd0
equal deleted inserted replaced
-1:000000000000 0:04114bce8fd0
       
     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: #f2f2ff }
       
    10 DL.el { margin-left: -1cm }
       
    11 DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
       
    12 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
       
    13 TD.md { background-color: #f2f2ff; font-weight: bold; }
       
    14 TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
       
    15 TD.mdname { background-color: #f2f2ff; 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: white }
       
    19 TD.indexkey { 
       
    20    background-color: #eeeeff; 
       
    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: #eeeeff; 
       
    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 FONT.keyword       { color: #008000 }
       
    44 FONT.keywordtype   { color: #604020 }
       
    45 FONT.keywordflow   { color: #e08000 }
       
    46 FONT.comment       { color: #800000 }
       
    47 FONT.preprocessor  { color: #806020 }
       
    48 FONT.stringliteral { color: #002080 }
       
    49 FONT.charliteral   { color: #008080 }