We actually don't have spiff anymore
[oota-llvm.git] / docs / doxygen.css
1 BODY { background: white; color: black; font-family: Verdana,Arial,sans-serif; }
2 H1 { text-align: center; }
3 H2 { text-align: center; }
4 H3 { text-align: center; }
5 CAPTION { font-weight: bold }
6 A.qindex {}
7 A.qindexRef {}
8 A.el { text-decoration: none; font-weight: bold }
9 A.elRef { font-weight: bold }
10 A.code { text-decoration: none; font-weight: normal; color: #4444ee }
11 A.codeRef { font-weight: normal; color: #4444ee }
12 A:link {
13         cursor: pointer;
14         text-decoration: none;
15         font-weight: bolder;
16 }
17 A:visited {
18         cursor: pointer;
19         text-decoration: underline;
20         font-weight: bolder;
21 }
22 A:hover {
23         cursor: pointer;
24         text-decoration: underline;
25         font-weight: bolder;
26 }
27 A:active {
28         cursor: pointer;
29         text-decoration: underline;
30         font-weight: bolder;
31         font-style: italic;
32 }
33 DL.el { margin-left: -1cm }
34 DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
35 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
36 TD.md { background-color: #f2f2ff; font-weight: bold; }
37 TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
38 TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
39 DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
40 DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
41 TD.indexkey { 
42    background-color: #eeeeff; 
43    font-weight: bold; 
44    padding-right  : 10px; 
45    padding-top    : 2px; 
46    padding-left   : 10px; 
47    padding-bottom : 2px; 
48    margin-left    : 0px; 
49    margin-right   : 0px; 
50    margin-top     : 2px; 
51    margin-bottom  : 2px  
52 }
53 TD.indexvalue { 
54    background-color: #eeeeff; 
55    font-style: italic; 
56    padding-right  : 10px; 
57    padding-top    : 2px; 
58    padding-left   : 10px; 
59    padding-bottom : 2px; 
60    margin-left    : 0px; 
61    margin-right   : 0px; 
62    margin-top     : 2px; 
63    margin-bottom  : 2px  
64 }
65 span.keyword       { color: #008000 }
66 span.keywordtype   { color: #604020 }
67 span.keywordflow   { color: #e08000 }
68 span.comment       { color: #800000 }
69 span.preprocessor  { color: #806020 }
70 span.stringliteral { color: #002080 }
71 span.charliteral   { color: #008080 }
72
73 .footer {
74         font-size: 80%;
75         font-weight: bold;
76         text-align: center;
77         vertical-align: middle;
78 }
79 .title {
80     font-size: 105%
81     font-weight: bold;
82     text-decoration: underline;
83     text-align: center;
84 }