Subversion Repositories public iLand

Rev

Rev 1221 | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

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