annotate Document/document/html/doxygen.css @ 289:cf5196a16021 draft

doxygen
author e065746@localhost.localdomain
date Fri, 05 Jun 2009 18:01:03 +0900
parents 4871fc824525
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
285
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
1 body, table, div, p, dl {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
2 font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
3 font-size: 12px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
4 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
5
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
6 /* @group Heading Levels */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
7
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
8 h1 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
9 text-align: center;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
10 font-size: 150%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
11 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
12
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
13 h2 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
14 font-size: 120%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
15 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
16
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
17 h3 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
18 font-size: 100%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
19 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
20
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
21 /* @end */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
22
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
23 caption {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
24 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
25 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
26
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
27 div.qindex, div.navpath, div.navtab{
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
28 background-color: #e8eef2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
29 border: 1px solid #84b0c7;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
30 text-align: center;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
31 margin: 2px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
32 padding: 2px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
33 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
34
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
35 div.qindex, div.navpath {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
36 width: 100%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
37 line-height: 140%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
38 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
39
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
40 div.navtab {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
41 margin-right: 15px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
42 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
43
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
44 /* @group Link Styling */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
45
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
46 a {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
47 color: #153788;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
48 font-weight: normal;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
49 text-decoration: none;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
50 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
51
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
52 .contents a:visited {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
53 color: #1b77c5;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
54 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
55
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
56 a:hover {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
57 text-decoration: underline;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
58 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
59
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
60 a.qindex {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
61 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
62 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
63
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
64 a.qindexHL {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
65 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
66 background-color: #6666cc;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
67 color: #ffffff;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
68 border: 1px double #9295C2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
69 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
70
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
71 a.el {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
72 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
73 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
74
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
75 a.elRef {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
76 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
77
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
78 a.code {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
79 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
80
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
81 a.codeRef {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
82 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
83
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
84 /* @end */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
85
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
86 dl.el {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
87 margin-left: -1cm;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
88 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
89
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
90 .fragment {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
91 font-family: monospace, fixed;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
92 font-size: 105%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
93 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
94
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
95 pre.fragment {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
96 border: 1px solid #CCCCCC;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
97 background-color: #f5f5f5;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
98 padding: 4px 6px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
99 margin: 4px 8px 4px 2px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
100 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
101
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
102 div.ah {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
103 background-color: black;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
104 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
105 color: #ffffff;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
106 margin-bottom: 3px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
107 margin-top: 3px
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
108 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
109
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
110 div.groupHeader {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
111 margin-left: 16px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
112 margin-top: 12px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
113 margin-bottom: 6px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
114 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
115 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
116
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
117 div.groupText {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
118 margin-left: 16px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
119 font-style: italic;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
120 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
121
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
122 body {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
123 background: white;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
124 color: black;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
125 margin-right: 20px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
126 margin-left: 20px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
127 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
128
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
129 td.indexkey {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
130 background-color: #e8eef2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
131 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
132 border: 1px solid #CCCCCC;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
133 margin: 2px 0px 2px 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
134 padding: 2px 10px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
135 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
136
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
137 td.indexvalue {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
138 background-color: #e8eef2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
139 border: 1px solid #CCCCCC;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
140 padding: 2px 10px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
141 margin: 2px 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
142 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
143
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
144 tr.memlist {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
145 background-color: #f0f0f0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
146 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
147
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
148 p.formulaDsp {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
149 text-align: center;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
150 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
151
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
152 img.formulaDsp {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
153
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
154 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
155
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
156 img.formulaInl {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
157 vertical-align: middle;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
158 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
159
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
160 /* @group Code Colorization */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
161
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
162 span.keyword {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
163 color: #008000
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
164 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
165
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
166 span.keywordtype {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
167 color: #604020
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
168 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
169
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
170 span.keywordflow {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
171 color: #e08000
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
172 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
173
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
174 span.comment {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
175 color: #800000
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
176 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
177
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
178 span.preprocessor {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
179 color: #806020
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
180 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
181
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
182 span.stringliteral {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
183 color: #002080
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
184 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
185
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
186 span.charliteral {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
187 color: #008080
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
188 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
189
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
190 span.vhdldigit {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
191 color: #ff00ff
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
192 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
193
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
194 span.vhdlchar {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
195 color: #000000
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
196 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
197
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
198 span.vhdlkeyword {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
199 color: #700070
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
200 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
201
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
202 span.vhdllogic {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
203 color: #ff0000
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
204 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
205
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
206 /* @end */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
207
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
208 .search {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
209 color: #003399;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
210 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
211 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
212
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
213 form.search {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
214 margin-bottom: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
215 margin-top: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
216 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
217
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
218 input.search {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
219 font-size: 75%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
220 color: #000080;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
221 font-weight: normal;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
222 background-color: #e8eef2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
223 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
224
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
225 td.tiny {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
226 font-size: 75%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
227 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
228
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
229 .dirtab {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
230 padding: 4px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
231 border-collapse: collapse;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
232 border: 1px solid #84b0c7;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
233 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
234
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
235 th.dirtab {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
236 background: #e8eef2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
237 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
238 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
239
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
240 hr {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
241 height: 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
242 border: none;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
243 border-top: 1px solid #666;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
244 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
245
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
246 /* @group Member Descriptions */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
247
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
248 .mdescLeft, .mdescRight,
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
249 .memItemLeft, .memItemRight,
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
250 .memTemplItemLeft, .memTemplItemRight, .memTemplParams {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
251 background-color: #FAFAFA;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
252 border: none;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
253 margin: 4px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
254 padding: 1px 0 0 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
255 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
256
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
257 .mdescLeft, .mdescRight {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
258 padding: 0px 8px 4px 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
259 color: #555;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
260 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
261
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
262 .memItemLeft, .memItemRight, .memTemplParams {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
263 border-top: 1px solid #ccc;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
264 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
265
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
266 .memTemplParams {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
267 color: #606060;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
268 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
269
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
270 /* @end */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
271
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
272 /* @group Member Details */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
273
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
274 /* Styles for detailed member documentation */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
275
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
276 .memtemplate {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
277 font-size: 80%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
278 color: #606060;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
279 font-weight: normal;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
280 margin-left: 3px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
281 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
282
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
283 .memnav {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
284 background-color: #e8eef2;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
285 border: 1px solid #84b0c7;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
286 text-align: center;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
287 margin: 2px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
288 margin-right: 15px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
289 padding: 2px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
290 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
291
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
292 .memitem {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
293 padding: 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
294 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
295
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
296 .memname {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
297 white-space: nowrap;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
298 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
299 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
300
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
301 .memproto, .memdoc {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
302 border: 1px solid #84b0c7;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
303 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
304
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
305 .memproto {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
306 padding: 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
307 background-color: #d5e1e8;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
308 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
309 -webkit-border-top-left-radius: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
310 -webkit-border-top-right-radius: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
311 -moz-border-radius-topleft: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
312 -moz-border-radius-topright: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
313 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
314
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
315 .memdoc {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
316 padding: 2px 5px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
317 background-color: #eef3f5;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
318 border-top-width: 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
319 -webkit-border-bottom-left-radius: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
320 -webkit-border-bottom-right-radius: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
321 -moz-border-radius-bottomleft: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
322 -moz-border-radius-bottomright: 8px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
323 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
324
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
325 .memdoc p, .memdoc dl, .memdoc ul {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
326 margin: 6px 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
327 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
328
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
329 .paramkey {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
330 text-align: right;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
331 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
332
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
333 .paramtype {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
334 white-space: nowrap;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
335 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
336
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
337 .paramname {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
338 color: #602020;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
339 white-space: nowrap;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
340 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
341 .paramname em {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
342 font-style: normal;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
343 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
344
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
345 /* @end */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
346
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
347 /* @group Directory (tree) */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
348
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
349 /* for the tree view */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
350
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
351 .ftvtree {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
352 font-family: sans-serif;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
353 margin: 0.5em;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
354 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
355
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
356 /* these are for tree view when used as main index */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
357
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
358 .directory {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
359 font-size: 9pt;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
360 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
361 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
362
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
363 .directory h3 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
364 margin: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
365 margin-top: 1em;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
366 font-size: 11pt;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
367 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
368
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
369 /*
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
370 The following two styles can be used to replace the root node title
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
371 with an image of your choice. Simply uncomment the next two styles,
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
372 specify the name of your image and be sure to set 'height' to the
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
373 proper pixel height of your image.
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
374 */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
375
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
376 /*
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
377 .directory h3.swap {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
378 height: 61px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
379 background-repeat: no-repeat;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
380 background-image: url("yourimage.gif");
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
381 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
382 .directory h3.swap span {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
383 display: none;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
384 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
385 */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
386
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
387 .directory > h3 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
388 margin-top: 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
389 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
390
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
391 .directory p {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
392 margin: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
393 white-space: nowrap;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
394 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
395
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
396 .directory div {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
397 display: none;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
398 margin: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
399 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
400
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
401 .directory img {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
402 vertical-align: -30%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
403 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
404
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
405 /* these are for tree view when not used as main index */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
406
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
407 .directory-alt {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
408 font-size: 100%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
409 font-weight: bold;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
410 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
411
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
412 .directory-alt h3 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
413 margin: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
414 margin-top: 1em;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
415 font-size: 11pt;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
416 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
417
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
418 .directory-alt > h3 {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
419 margin-top: 0;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
420 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
421
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
422 .directory-alt p {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
423 margin: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
424 white-space: nowrap;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
425 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
426
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
427 .directory-alt div {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
428 display: none;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
429 margin: 0px;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
430 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
431
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
432 .directory-alt img {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
433 vertical-align: -30%;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
434 }
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
435
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
436 /* @end */
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
437
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
438 address {
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
439 font-style: normal;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
440 color: #333;
4871fc824525 add Doxygen
e065746@localhost.localdomain
parents:
diff changeset
441 }