[OCaml] Add -g on DEBUG_SYMBOLS=1, not ENABLE_OPTIMIZED.
[oota-llvm.git] / docs / doxygen.css
1 BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
2         font-family: Verdana,Geneva,Arial,Helvetica,sans-serif;
3 }
4 BODY,TD {
5  font-size: 90%;
6 }
7 H1 {
8  text-align: center;
9  font-size: 140%;
10  font-weight: bold;
11 }
12 H2 {
13  font-size: 120%;
14  font-style: italic;
15 }
16 H3 {
17  font-size: 100%;
18 }
19 CAPTION { font-weight: bold }
20 DIV.qindex {
21         width: 100%;
22         background-color: #eeeeff;
23         border: 1px solid #b0b0b0;
24         text-align: center;
25         margin: 2px;
26         padding: 2px;
27         line-height: 140%;
28 }
29 DIV.nav {
30         width: 100%;
31         background-color: #eeeeff;
32         border: 1px solid #b0b0b0;
33         text-align: center;
34         margin: 2px;
35         padding: 2px;
36         line-height: 140%;
37 }
38 DIV.navtab {
39        background-color: #eeeeff;
40        border: 1px solid #b0b0b0;
41        text-align: center;
42        margin: 2px;
43        margin-right: 15px;
44        padding: 2px;
45 }
46 TD.navtab {
47        font-size: 70%;
48 }
49 A.qindex {
50        text-decoration: none;
51        font-weight: bold;
52        color: #1A419D;
53 }
54 A.qindex:visited {
55        text-decoration: none;
56        font-weight: bold;
57        color: #1A419D
58 }
59 A.qindex:hover {
60         text-decoration: none;
61         background-color: #ddddff;
62 }
63 A.qindexHL {
64         text-decoration: none;
65         font-weight: bold;
66         background-color: #6666cc;
67         color: #ffffff;
68         border: 1px double #9295C2;
69 }
70 A.qindexHL:hover {
71         text-decoration: none;
72         background-color: #6666cc;
73         color: #ffffff;
74 }
75 A.qindexHL:visited { 
76  text-decoration: none; background-color: #6666cc; color: #ffffff }
77 A.el { text-decoration: none; font-weight: bold }
78 A.elRef { font-weight: bold }
79 A.code:link { text-decoration: none; font-weight: normal; color: #0000FF}
80 A.code:visited { text-decoration: none; font-weight: normal; color: #0000FF}
81 A.codeRef:link { font-weight: normal; color: #0000FF}
82 A.codeRef:visited { font-weight: normal; color: #0000FF}
83 A:hover { text-decoration: none; background-color: #f2f2ff }
84 DL.el { margin-left: -1cm }
85 .fragment {
86        font-family: Fixed, monospace;
87        font-size: 95%;
88 }
89 PRE.fragment {
90         border: 1px solid #CCCCCC;
91         background-color: #f5f5f5;
92         margin-top: 4px;
93         margin-bottom: 4px;
94         margin-left: 2px;
95         margin-right: 8px;
96         padding-left: 6px;
97         padding-right: 6px;
98         padding-top: 4px;
99         padding-bottom: 4px;
100 }
101 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
102 TD.md { background-color: #F4F4FB; font-weight: bold; }
103 TD.mdPrefix {
104        background-color: #F4F4FB;
105        color: #606060;
106         font-size: 80%;
107 }
108 TD.mdname1 { background-color: #F4F4FB; font-weight: bold; color: #602020; }
109 TD.mdname { background-color: #F4F4FB; font-weight: bold; color: #602020; width: 600px; }
110 DIV.groupHeader {
111        margin-left: 16px;
112        margin-top: 12px;
113        margin-bottom: 6px;
114        font-weight: bold;
115 }
116 DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }
117 BODY {
118         background: white;
119         color: black;
120         margin-right: 20px;
121         margin-left: 20px;
122 }
123 TD.indexkey {
124         background-color: #eeeeff;
125         font-weight: bold;
126         padding-right  : 10px;
127         padding-top    : 2px;
128         padding-left   : 10px;
129         padding-bottom : 2px;
130         margin-left    : 0px;
131         margin-right   : 0px;
132         margin-top     : 2px;
133         margin-bottom  : 2px;
134         border: 1px solid #CCCCCC;
135 }
136 TD.indexvalue {
137         background-color: #eeeeff;
138         font-style: italic;
139         padding-right  : 10px;
140         padding-top    : 2px;
141         padding-left   : 10px;
142         padding-bottom : 2px;
143         margin-left    : 0px;
144         margin-right   : 0px;
145         margin-top     : 2px;
146         margin-bottom  : 2px;
147         border: 1px solid #CCCCCC;
148 }
149 TR.memlist {
150    background-color: #f0f0f0; 
151 }
152 P.formulaDsp { text-align: center; }
153 IMG.formulaDsp { }
154 IMG.formulaInl { vertical-align: middle; }
155 SPAN.keyword       { color: #008000 }
156 SPAN.keywordtype   { color: #604020 }
157 SPAN.keywordflow   { color: #e08000 }
158 SPAN.comment       { color: #800000 }
159 SPAN.preprocessor  { color: #806020 }
160 SPAN.stringliteral { color: #002080 }
161 SPAN.charliteral   { color: #008080 }
162 .mdTable {
163         border: 1px solid #868686;
164         background-color: #F4F4FB;
165 }
166 .mdRow {
167         padding: 8px 10px;
168 }
169 .mdescLeft {
170        padding: 0px 8px 4px 8px;
171         font-size: 80%;
172         font-style: italic;
173         background-color: #FAFAFA;
174         border-top: 1px none #E0E0E0;
175         border-right: 1px none #E0E0E0;
176         border-bottom: 1px none #E0E0E0;
177         border-left: 1px none #E0E0E0;
178         margin: 0px;
179 }
180 .mdescRight {
181        padding: 0px 8px 4px 8px;
182         font-size: 80%;
183         font-style: italic;
184         background-color: #FAFAFA;
185         border-top: 1px none #E0E0E0;
186         border-right: 1px none #E0E0E0;
187         border-bottom: 1px none #E0E0E0;
188         border-left: 1px none #E0E0E0;
189         margin: 0px;
190 }
191 .memItemLeft {
192         padding: 1px 0px 0px 8px;
193         margin: 4px;
194         border-top-width: 1px;
195         border-right-width: 1px;
196         border-bottom-width: 1px;
197         border-left-width: 1px;
198         border-top-color: #E0E0E0;
199         border-right-color: #E0E0E0;
200         border-bottom-color: #E0E0E0;
201         border-left-color: #E0E0E0;
202         border-top-style: solid;
203         border-right-style: none;
204         border-bottom-style: none;
205         border-left-style: none;
206         background-color: #FAFAFA;
207         font-size: 80%;
208 }
209 .memItemRight {
210         padding: 1px 8px 0px 8px;
211         margin: 4px;
212         border-top-width: 1px;
213         border-right-width: 1px;
214         border-bottom-width: 1px;
215         border-left-width: 1px;
216         border-top-color: #E0E0E0;
217         border-right-color: #E0E0E0;
218         border-bottom-color: #E0E0E0;
219         border-left-color: #E0E0E0;
220         border-top-style: solid;
221         border-right-style: none;
222         border-bottom-style: none;
223         border-left-style: none;
224         background-color: #FAFAFA;
225         font-size: 80%;
226 }
227 .memTemplItemLeft {
228         padding: 1px 0px 0px 8px;
229         margin: 4px;
230         border-top-width: 1px;
231         border-right-width: 1px;
232         border-bottom-width: 1px;
233         border-left-width: 1px;
234         border-top-color: #E0E0E0;
235         border-right-color: #E0E0E0;
236         border-bottom-color: #E0E0E0;
237         border-left-color: #E0E0E0;
238         border-top-style: none;
239         border-right-style: none;
240         border-bottom-style: none;
241         border-left-style: none;
242         background-color: #FAFAFA;
243         font-size: 80%;
244 }
245 .memTemplItemRight {
246         padding: 1px 8px 0px 8px;
247         margin: 4px;
248         border-top-width: 1px;
249         border-right-width: 1px;
250         border-bottom-width: 1px;
251         border-left-width: 1px;
252         border-top-color: #E0E0E0;
253         border-right-color: #E0E0E0;
254         border-bottom-color: #E0E0E0;
255         border-left-color: #E0E0E0;
256         border-top-style: none;
257         border-right-style: none;
258         border-bottom-style: none;
259         border-left-style: none;
260         background-color: #FAFAFA;
261         font-size: 80%;
262 }
263 .memTemplParams {
264         padding: 1px 0px 0px 8px;
265         margin: 4px;
266         border-top-width: 1px;
267         border-right-width: 1px;
268         border-bottom-width: 1px;
269         border-left-width: 1px;
270         border-top-color: #E0E0E0;
271         border-right-color: #E0E0E0;
272         border-bottom-color: #E0E0E0;
273         border-left-color: #E0E0E0;
274         border-top-style: solid;
275         border-right-style: none;
276         border-bottom-style: none;
277         border-left-style: none;
278        color: #606060;
279         background-color: #FAFAFA;
280         font-size: 80%;
281 }
282 .search     { color: #003399;
283               font-weight: bold;
284 }
285 FORM.search {
286               margin-bottom: 0px;
287               margin-top: 0px;
288 }
289 INPUT.search { font-size: 75%;
290                color: #000080;
291                font-weight: normal;
292                background-color: #eeeeff;
293 }
294 TD.tiny      { font-size: 75%;
295 }
296 a {
297         color: #252E78;
298 }
299 a:visited {
300         color: #3D2185;
301 }
302 .dirtab { padding: 4px;
303           border-collapse: collapse;
304           border: 1px solid #b0b0b0;
305 }
306 TH.dirtab { background: #eeeeff;
307             font-weight: bold;
308 }
309 HR { height: 1px;
310      border: none;
311      border-top: 1px solid black;
312 }
313
314 /* 
315  * LLVM Modifications.
316  * Note: Everything above here is generated with "doxygen -w htlm" command. See
317  * "doxygen --help" for details. What follows are CSS overrides for LLVM 
318  * specific formatting. We want to keep the above so it can be replaced with
319  * subsequent doxygen upgrades.
320  */
321
322 .footer {
323         font-size: 80%;
324         font-weight: bold;
325         text-align: center;
326         vertical-align: middle;
327 }
328 .title {
329   font-size: 25pt; 
330   color: black;
331   font-weight: bold;
332   border-width: 1px;
333   border-style: solid none solid none;
334   text-align: center;
335   vertical-align: middle;
336   padding-left: 8pt;
337   padding-top: 1px;
338   padding-bottom: 2px
339 }
340 A:link {
341         cursor: pointer;
342         text-decoration: none;
343         font-weight: bolder;
344 }
345 A:visited {
346         cursor: pointer;
347         text-decoration: underline;
348         font-weight: bolder;
349 }
350 A:hover {
351         cursor: pointer;
352         text-decoration: underline;
353         font-weight: bolder;
354 }
355 A:active {
356         cursor: pointer;
357         text-decoration: underline;
358         font-weight: bolder;
359         font-style: italic;
360 }
361 H1 {
362  text-align: center;
363  font-size: 140%;
364  font-weight: bold;
365 }
366 H2 {
367  font-size: 120%;
368  font-style: italic;
369 }
370 H3 {
371  font-size: 100%;
372 }
373
374 H2, H3 {
375   border-bottom: 2px solid;
376   margin-top: 2em;
377 }
378
379 A.qindex {}
380 A.qindexRef {}
381 A.el { text-decoration: none; font-weight: bold }
382 A.elRef { font-weight: bold }
383 A.code { text-decoration: none; font-weight: normal; color: #4444ee }
384 A.codeRef { font-weight: normal; color: #4444ee }
385
386 div.memitem {
387   border: 1px solid #999999;
388   margin-top: 1.0em;
389   margin-bottom: 1.0em;
390   -webkit-border-radius: 0.5em;
391   -webkit-box-shadow: 3px 3px 6px #777777;
392   -moz-border-radius: 0.5em;
393   -moz-box-shadow: black 3px 3px 3px;
394 }
395
396 div.memproto {
397   background-color: #E3E4E5;
398   padding: 0.25em 0.5em;
399   -webkit-border-top-left-radius: 0.5em;
400   -webkit-border-top-right-radius: 0.5em;
401   -moz-border-radius-topleft: 0.5em;
402   -moz-border-radius-topright: 0.5em;
403 }
404
405 div.memdoc {
406   padding-left: 1em;
407   padding-right: 1em;
408 }