fixed a small bug in eval ehrhart
[polylib.git] / doc / codeDoc / html / doxygen.css
blob841f709a7fbe4361891ba100ab01593931313ded
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
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
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 }