util/qlalr/doc/src/classic.css
changeset 0 1918ee327afb
equal deleted inserted replaced
-1:000000000000 0:1918ee327afb
       
     1 h3.fn,span.fn
       
     2 {
       
     3   margin-left: 1cm;
       
     4   text-indent: -1cm;
       
     5 }
       
     6 
       
     7 a:link
       
     8 {
       
     9   color: #004faf;
       
    10   text-decoration: none
       
    11 }
       
    12 
       
    13 a:visited
       
    14 {
       
    15   color: #672967;
       
    16   text-decoration: none
       
    17 }
       
    18 
       
    19 td.postheader
       
    20 {
       
    21   font-family: sans-serif
       
    22 }
       
    23 
       
    24 tr.address
       
    25 {
       
    26   font-family: sans-serif
       
    27 }
       
    28 
       
    29 body
       
    30 {
       
    31   background: #ffffff;
       
    32   color: black
       
    33 }
       
    34 
       
    35 table tr.odd {
       
    36   background: #f0f0f0;
       
    37   color: black;
       
    38 }
       
    39 
       
    40 table tr.even {
       
    41   background: #e4e4e4;
       
    42   color: black;
       
    43 }
       
    44 
       
    45 table.annotated {
       
    46   border-spacing: 0px;
       
    47 }
       
    48 
       
    49 table.annotated th {
       
    50   font-weight: bold;
       
    51   padding: 3px;
       
    52   text-align: left
       
    53 }
       
    54 
       
    55 table.annotated td {
       
    56   padding: 3px;
       
    57 }
       
    58 
       
    59 table tr pre
       
    60 {
       
    61   padding-top: none;
       
    62   padding-bottom: none;
       
    63   padding-left: none;
       
    64   padding-right: none;
       
    65   border: none;
       
    66   background: none
       
    67 }
       
    68 
       
    69 tr.qt-style
       
    70 {
       
    71   background: #a2c511;
       
    72   color: black
       
    73 }
       
    74 
       
    75 body pre
       
    76 {
       
    77   padding: 0.2em;
       
    78   border: #e7e7e7 1px solid;
       
    79   background: #f1f1f1;
       
    80   color: black
       
    81 }
       
    82 
       
    83 span.preprocessor, span.preprocessor a
       
    84 {
       
    85   color: darkblue;
       
    86 }
       
    87 
       
    88 span.comment
       
    89 {
       
    90   color: darkred;
       
    91   font-style: italic
       
    92 }
       
    93 
       
    94 span.string,span.char
       
    95 {
       
    96   color: darkgreen;
       
    97 }