blob: 41aa74cf28ca3c9f41662354f342e085ba4382fd [file] [log] [blame]
Chris Lattnerb0fa6592003-12-31 06:47:28 +00001BODY { background: white; color: black; font-family: Verdana,Arial,sans-serif; }
2H1 { text-align: center; }
3H2 { text-align: center; }
4H3 { text-align: center; }
5CAPTION { font-weight: bold }
6A.qindex {}
7A.qindexRef {}
8A.el { text-decoration: none; font-weight: bold }
9A.elRef { font-weight: bold }
10A.code { text-decoration: none; font-weight: normal; color: #4444ee }
11A.codeRef { font-weight: normal; color: #4444ee }
12A:link {
13 cursor: pointer;
14 text-decoration: none;
15 font-weight: bolder;
16}
17A:visited {
18 cursor: pointer;
19 text-decoration: underline;
20 font-weight: bolder;
21}
22A:hover {
23 cursor: pointer;
24 text-decoration: underline;
25 font-weight: bolder;
26}
27A:active {
28 cursor: pointer;
29 text-decoration: underline;
30 font-weight: bolder;
31 font-style: italic;
32}
33DL.el { margin-left: -1cm }
34DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
35DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
36TD.md { background-color: #f2f2ff; font-weight: bold; }
37TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
38TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
39DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
40DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
41TD.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}
53TD.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}
65span.keyword { color: #008000 }
66span.keywordtype { color: #604020 }
67span.keywordflow { color: #e08000 }
68span.comment { color: #800000 }
69span.preprocessor { color: #806020 }
70span.stringliteral { color: #002080 }
71span.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}