keepalive/flextimer/test/testflextimer/docs/html/doxygen.css
author hgs
Thu, 28 Oct 2010 13:13:30 +0300
changeset 73 70ee5458c95d
parent 70 ac5daea24fb0
permissions -rw-r--r--
201043
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
70
hgs
parents:
diff changeset
     1
/* The standard CSS for doxygen */
hgs
parents:
diff changeset
     2
hgs
parents:
diff changeset
     3
body, table, div, p, dl {
hgs
parents:
diff changeset
     4
	font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
hgs
parents:
diff changeset
     5
	font-size: 12px;
hgs
parents:
diff changeset
     6
}
hgs
parents:
diff changeset
     7
hgs
parents:
diff changeset
     8
/* @group Heading Levels */
hgs
parents:
diff changeset
     9
hgs
parents:
diff changeset
    10
h1 {
hgs
parents:
diff changeset
    11
	text-align: center;
hgs
parents:
diff changeset
    12
	font-size: 150%;
hgs
parents:
diff changeset
    13
}
hgs
parents:
diff changeset
    14
hgs
parents:
diff changeset
    15
h2 {
hgs
parents:
diff changeset
    16
	font-size: 120%;
hgs
parents:
diff changeset
    17
}
hgs
parents:
diff changeset
    18
hgs
parents:
diff changeset
    19
h3 {
hgs
parents:
diff changeset
    20
	font-size: 100%;
hgs
parents:
diff changeset
    21
}
hgs
parents:
diff changeset
    22
hgs
parents:
diff changeset
    23
dt {
hgs
parents:
diff changeset
    24
	font-weight: bold;
hgs
parents:
diff changeset
    25
}
hgs
parents:
diff changeset
    26
hgs
parents:
diff changeset
    27
div.multicol {
hgs
parents:
diff changeset
    28
	-moz-column-gap: 1em;
hgs
parents:
diff changeset
    29
	-webkit-column-gap: 1em;
hgs
parents:
diff changeset
    30
	-moz-column-count: 3;
hgs
parents:
diff changeset
    31
	-webkit-column-count: 3;
hgs
parents:
diff changeset
    32
}
hgs
parents:
diff changeset
    33
hgs
parents:
diff changeset
    34
p.startli, p.startdd, p.starttd {
hgs
parents:
diff changeset
    35
	margin-top: 2px;
hgs
parents:
diff changeset
    36
}
hgs
parents:
diff changeset
    37
hgs
parents:
diff changeset
    38
p.endli {
hgs
parents:
diff changeset
    39
	margin-bottom: 0px;
hgs
parents:
diff changeset
    40
}
hgs
parents:
diff changeset
    41
hgs
parents:
diff changeset
    42
p.enddd {
hgs
parents:
diff changeset
    43
	margin-bottom: 4px;
hgs
parents:
diff changeset
    44
}
hgs
parents:
diff changeset
    45
hgs
parents:
diff changeset
    46
p.endtd {
hgs
parents:
diff changeset
    47
	margin-bottom: 2px;
hgs
parents:
diff changeset
    48
}
hgs
parents:
diff changeset
    49
hgs
parents:
diff changeset
    50
/* @end */
hgs
parents:
diff changeset
    51
hgs
parents:
diff changeset
    52
caption {
hgs
parents:
diff changeset
    53
	font-weight: bold;
hgs
parents:
diff changeset
    54
}
hgs
parents:
diff changeset
    55
hgs
parents:
diff changeset
    56
span.legend {
hgs
parents:
diff changeset
    57
        font-size: 70%;
hgs
parents:
diff changeset
    58
        text-align: center;
hgs
parents:
diff changeset
    59
}
hgs
parents:
diff changeset
    60
hgs
parents:
diff changeset
    61
h3.version {
hgs
parents:
diff changeset
    62
        font-size: 90%;
hgs
parents:
diff changeset
    63
        text-align: center;
hgs
parents:
diff changeset
    64
}
hgs
parents:
diff changeset
    65
hgs
parents:
diff changeset
    66
div.qindex, div.navtab{
hgs
parents:
diff changeset
    67
	background-color: #e8eef2;
hgs
parents:
diff changeset
    68
	border: 1px solid #84b0c7;
hgs
parents:
diff changeset
    69
	text-align: center;
hgs
parents:
diff changeset
    70
	margin: 2px;
hgs
parents:
diff changeset
    71
	padding: 2px;
hgs
parents:
diff changeset
    72
}
hgs
parents:
diff changeset
    73
hgs
parents:
diff changeset
    74
div.qindex, div.navpath {
hgs
parents:
diff changeset
    75
	width: 100%;
hgs
parents:
diff changeset
    76
	line-height: 140%;
hgs
parents:
diff changeset
    77
}
hgs
parents:
diff changeset
    78
hgs
parents:
diff changeset
    79
div.navtab {
hgs
parents:
diff changeset
    80
	margin-right: 15px;
hgs
parents:
diff changeset
    81
}
hgs
parents:
diff changeset
    82
hgs
parents:
diff changeset
    83
/* @group Link Styling */
hgs
parents:
diff changeset
    84
hgs
parents:
diff changeset
    85
a {
hgs
parents:
diff changeset
    86
	color: #153788;
hgs
parents:
diff changeset
    87
	font-weight: normal;
hgs
parents:
diff changeset
    88
	text-decoration: none;
hgs
parents:
diff changeset
    89
}
hgs
parents:
diff changeset
    90
hgs
parents:
diff changeset
    91
.contents a:visited {
hgs
parents:
diff changeset
    92
	color: #1b77c5;
hgs
parents:
diff changeset
    93
}
hgs
parents:
diff changeset
    94
hgs
parents:
diff changeset
    95
a:hover {
hgs
parents:
diff changeset
    96
	text-decoration: underline;
hgs
parents:
diff changeset
    97
}
hgs
parents:
diff changeset
    98
hgs
parents:
diff changeset
    99
a.qindex {
hgs
parents:
diff changeset
   100
	font-weight: bold;
hgs
parents:
diff changeset
   101
}
hgs
parents:
diff changeset
   102
hgs
parents:
diff changeset
   103
a.qindexHL {
hgs
parents:
diff changeset
   104
	font-weight: bold;
hgs
parents:
diff changeset
   105
	background-color: #6666cc;
hgs
parents:
diff changeset
   106
	color: #ffffff;
hgs
parents:
diff changeset
   107
	border: 1px double #9295C2;
hgs
parents:
diff changeset
   108
}
hgs
parents:
diff changeset
   109
hgs
parents:
diff changeset
   110
.contents a.qindexHL:visited {
hgs
parents:
diff changeset
   111
        color: #ffffff;
hgs
parents:
diff changeset
   112
}
hgs
parents:
diff changeset
   113
hgs
parents:
diff changeset
   114
a.el {
hgs
parents:
diff changeset
   115
	font-weight: bold;
hgs
parents:
diff changeset
   116
}
hgs
parents:
diff changeset
   117
hgs
parents:
diff changeset
   118
a.elRef {
hgs
parents:
diff changeset
   119
}
hgs
parents:
diff changeset
   120
hgs
parents:
diff changeset
   121
a.code {
hgs
parents:
diff changeset
   122
	color: #3030f0;
hgs
parents:
diff changeset
   123
}
hgs
parents:
diff changeset
   124
hgs
parents:
diff changeset
   125
a.codeRef {
hgs
parents:
diff changeset
   126
	color: #3030f0;
hgs
parents:
diff changeset
   127
}
hgs
parents:
diff changeset
   128
hgs
parents:
diff changeset
   129
/* @end */
hgs
parents:
diff changeset
   130
hgs
parents:
diff changeset
   131
dl.el {
hgs
parents:
diff changeset
   132
	margin-left: -1cm;
hgs
parents:
diff changeset
   133
}
hgs
parents:
diff changeset
   134
hgs
parents:
diff changeset
   135
.fragment {
hgs
parents:
diff changeset
   136
	font-family: monospace, fixed;
hgs
parents:
diff changeset
   137
	font-size: 105%;
hgs
parents:
diff changeset
   138
}
hgs
parents:
diff changeset
   139
hgs
parents:
diff changeset
   140
pre.fragment {
hgs
parents:
diff changeset
   141
	border: 1px solid #CCCCCC;
hgs
parents:
diff changeset
   142
	background-color: #f5f5f5;
hgs
parents:
diff changeset
   143
	padding: 4px 6px;
hgs
parents:
diff changeset
   144
	margin: 4px 8px 4px 2px;
hgs
parents:
diff changeset
   145
	overflow: auto;
hgs
parents:
diff changeset
   146
	word-wrap: break-word;
hgs
parents:
diff changeset
   147
	font-size:  9pt;
hgs
parents:
diff changeset
   148
	line-height: 125%;
hgs
parents:
diff changeset
   149
}
hgs
parents:
diff changeset
   150
hgs
parents:
diff changeset
   151
div.ah {
hgs
parents:
diff changeset
   152
	background-color: black;
hgs
parents:
diff changeset
   153
	font-weight: bold;
hgs
parents:
diff changeset
   154
	color: #ffffff;
hgs
parents:
diff changeset
   155
	margin-bottom: 3px;
hgs
parents:
diff changeset
   156
	margin-top: 3px
hgs
parents:
diff changeset
   157
}
hgs
parents:
diff changeset
   158
hgs
parents:
diff changeset
   159
div.groupHeader {
hgs
parents:
diff changeset
   160
	margin-left: 16px;
hgs
parents:
diff changeset
   161
	margin-top: 12px;
hgs
parents:
diff changeset
   162
	margin-bottom: 6px;
hgs
parents:
diff changeset
   163
	font-weight: bold;
hgs
parents:
diff changeset
   164
}
hgs
parents:
diff changeset
   165
hgs
parents:
diff changeset
   166
div.groupText {
hgs
parents:
diff changeset
   167
	margin-left: 16px;
hgs
parents:
diff changeset
   168
	font-style: italic;
hgs
parents:
diff changeset
   169
}
hgs
parents:
diff changeset
   170
hgs
parents:
diff changeset
   171
body {
hgs
parents:
diff changeset
   172
	background: white;
hgs
parents:
diff changeset
   173
	color: black;
hgs
parents:
diff changeset
   174
	margin-right: 20px;
hgs
parents:
diff changeset
   175
	margin-left: 20px;
hgs
parents:
diff changeset
   176
}
hgs
parents:
diff changeset
   177
hgs
parents:
diff changeset
   178
td.indexkey {
hgs
parents:
diff changeset
   179
	background-color: #e8eef2;
hgs
parents:
diff changeset
   180
	font-weight: bold;
hgs
parents:
diff changeset
   181
	border: 1px solid #CCCCCC;
hgs
parents:
diff changeset
   182
	margin: 2px 0px 2px 0;
hgs
parents:
diff changeset
   183
	padding: 2px 10px;
hgs
parents:
diff changeset
   184
}
hgs
parents:
diff changeset
   185
hgs
parents:
diff changeset
   186
td.indexvalue {
hgs
parents:
diff changeset
   187
	background-color: #e8eef2;
hgs
parents:
diff changeset
   188
	border: 1px solid #CCCCCC;
hgs
parents:
diff changeset
   189
	padding: 2px 10px;
hgs
parents:
diff changeset
   190
	margin: 2px 0px;
hgs
parents:
diff changeset
   191
}
hgs
parents:
diff changeset
   192
hgs
parents:
diff changeset
   193
tr.memlist {
hgs
parents:
diff changeset
   194
	background-color: #f0f0f0;
hgs
parents:
diff changeset
   195
}
hgs
parents:
diff changeset
   196
hgs
parents:
diff changeset
   197
p.formulaDsp {
hgs
parents:
diff changeset
   198
	text-align: center;
hgs
parents:
diff changeset
   199
}
hgs
parents:
diff changeset
   200
hgs
parents:
diff changeset
   201
img.formulaDsp {
hgs
parents:
diff changeset
   202
	
hgs
parents:
diff changeset
   203
}
hgs
parents:
diff changeset
   204
hgs
parents:
diff changeset
   205
img.formulaInl {
hgs
parents:
diff changeset
   206
	vertical-align: middle;
hgs
parents:
diff changeset
   207
}
hgs
parents:
diff changeset
   208
hgs
parents:
diff changeset
   209
div.center {
hgs
parents:
diff changeset
   210
	text-align: center;
hgs
parents:
diff changeset
   211
        margin-top: 0px;
hgs
parents:
diff changeset
   212
        margin-bottom: 0px;
hgs
parents:
diff changeset
   213
        padding: 0px;
hgs
parents:
diff changeset
   214
}
hgs
parents:
diff changeset
   215
hgs
parents:
diff changeset
   216
div.center img {
hgs
parents:
diff changeset
   217
	border: 0px;
hgs
parents:
diff changeset
   218
}
hgs
parents:
diff changeset
   219
hgs
parents:
diff changeset
   220
img.footer {
hgs
parents:
diff changeset
   221
	border: 0px;
hgs
parents:
diff changeset
   222
	vertical-align: middle;
hgs
parents:
diff changeset
   223
}
hgs
parents:
diff changeset
   224
hgs
parents:
diff changeset
   225
/* @group Code Colorization */
hgs
parents:
diff changeset
   226
hgs
parents:
diff changeset
   227
span.keyword {
hgs
parents:
diff changeset
   228
	color: #008000
hgs
parents:
diff changeset
   229
}
hgs
parents:
diff changeset
   230
hgs
parents:
diff changeset
   231
span.keywordtype {
hgs
parents:
diff changeset
   232
	color: #604020
hgs
parents:
diff changeset
   233
}
hgs
parents:
diff changeset
   234
hgs
parents:
diff changeset
   235
span.keywordflow {
hgs
parents:
diff changeset
   236
	color: #e08000
hgs
parents:
diff changeset
   237
}
hgs
parents:
diff changeset
   238
hgs
parents:
diff changeset
   239
span.comment {
hgs
parents:
diff changeset
   240
	color: #800000
hgs
parents:
diff changeset
   241
}
hgs
parents:
diff changeset
   242
hgs
parents:
diff changeset
   243
span.preprocessor {
hgs
parents:
diff changeset
   244
	color: #806020
hgs
parents:
diff changeset
   245
}
hgs
parents:
diff changeset
   246
hgs
parents:
diff changeset
   247
span.stringliteral {
hgs
parents:
diff changeset
   248
	color: #002080
hgs
parents:
diff changeset
   249
}
hgs
parents:
diff changeset
   250
hgs
parents:
diff changeset
   251
span.charliteral {
hgs
parents:
diff changeset
   252
	color: #008080
hgs
parents:
diff changeset
   253
}
hgs
parents:
diff changeset
   254
hgs
parents:
diff changeset
   255
span.vhdldigit { 
hgs
parents:
diff changeset
   256
	color: #ff00ff 
hgs
parents:
diff changeset
   257
}
hgs
parents:
diff changeset
   258
hgs
parents:
diff changeset
   259
span.vhdlchar { 
hgs
parents:
diff changeset
   260
	color: #000000 
hgs
parents:
diff changeset
   261
}
hgs
parents:
diff changeset
   262
hgs
parents:
diff changeset
   263
span.vhdlkeyword { 
hgs
parents:
diff changeset
   264
	color: #700070 
hgs
parents:
diff changeset
   265
}
hgs
parents:
diff changeset
   266
hgs
parents:
diff changeset
   267
span.vhdllogic { 
hgs
parents:
diff changeset
   268
	color: #ff0000 
hgs
parents:
diff changeset
   269
}
hgs
parents:
diff changeset
   270
hgs
parents:
diff changeset
   271
/* @end */
hgs
parents:
diff changeset
   272
hgs
parents:
diff changeset
   273
.search {
hgs
parents:
diff changeset
   274
	color: #003399;
hgs
parents:
diff changeset
   275
	font-weight: bold;
hgs
parents:
diff changeset
   276
}
hgs
parents:
diff changeset
   277
hgs
parents:
diff changeset
   278
form.search {
hgs
parents:
diff changeset
   279
	margin-bottom: 0px;
hgs
parents:
diff changeset
   280
	margin-top: 0px;
hgs
parents:
diff changeset
   281
}
hgs
parents:
diff changeset
   282
hgs
parents:
diff changeset
   283
input.search {
hgs
parents:
diff changeset
   284
	font-size: 75%;
hgs
parents:
diff changeset
   285
	color: #000080;
hgs
parents:
diff changeset
   286
	font-weight: normal;
hgs
parents:
diff changeset
   287
	background-color: #e8eef2;
hgs
parents:
diff changeset
   288
}
hgs
parents:
diff changeset
   289
hgs
parents:
diff changeset
   290
td.tiny {
hgs
parents:
diff changeset
   291
	font-size: 75%;
hgs
parents:
diff changeset
   292
}
hgs
parents:
diff changeset
   293
hgs
parents:
diff changeset
   294
.dirtab {
hgs
parents:
diff changeset
   295
	padding: 4px;
hgs
parents:
diff changeset
   296
	border-collapse: collapse;
hgs
parents:
diff changeset
   297
	border: 1px solid #84b0c7;
hgs
parents:
diff changeset
   298
}
hgs
parents:
diff changeset
   299
hgs
parents:
diff changeset
   300
th.dirtab {
hgs
parents:
diff changeset
   301
	background: #e8eef2;
hgs
parents:
diff changeset
   302
	font-weight: bold;
hgs
parents:
diff changeset
   303
}
hgs
parents:
diff changeset
   304
hgs
parents:
diff changeset
   305
hr {
hgs
parents:
diff changeset
   306
	height: 0px;
hgs
parents:
diff changeset
   307
	border: none;
hgs
parents:
diff changeset
   308
	border-top: 1px solid #666;
hgs
parents:
diff changeset
   309
}
hgs
parents:
diff changeset
   310
hgs
parents:
diff changeset
   311
hr.footer {
hgs
parents:
diff changeset
   312
	height: 1px;
hgs
parents:
diff changeset
   313
}
hgs
parents:
diff changeset
   314
hgs
parents:
diff changeset
   315
/* @group Member Descriptions */
hgs
parents:
diff changeset
   316
hgs
parents:
diff changeset
   317
.mdescLeft, .mdescRight,
hgs
parents:
diff changeset
   318
.memItemLeft, .memItemRight,
hgs
parents:
diff changeset
   319
.memTemplItemLeft, .memTemplItemRight, .memTemplParams {
hgs
parents:
diff changeset
   320
	background-color: #FAFAFA;
hgs
parents:
diff changeset
   321
	border: none;
hgs
parents:
diff changeset
   322
	margin: 4px;
hgs
parents:
diff changeset
   323
	padding: 1px 0 0 8px;
hgs
parents:
diff changeset
   324
}
hgs
parents:
diff changeset
   325
hgs
parents:
diff changeset
   326
.mdescLeft, .mdescRight {
hgs
parents:
diff changeset
   327
	padding: 0px 8px 4px 8px;
hgs
parents:
diff changeset
   328
	color: #555;
hgs
parents:
diff changeset
   329
}
hgs
parents:
diff changeset
   330
hgs
parents:
diff changeset
   331
.memItemLeft, .memItemRight, .memTemplParams {
hgs
parents:
diff changeset
   332
	border-top: 1px solid #ccc;
hgs
parents:
diff changeset
   333
}
hgs
parents:
diff changeset
   334
hgs
parents:
diff changeset
   335
.memItemLeft, .memTemplItemLeft {
hgs
parents:
diff changeset
   336
        white-space: nowrap;
hgs
parents:
diff changeset
   337
}
hgs
parents:
diff changeset
   338
hgs
parents:
diff changeset
   339
.memTemplParams {
hgs
parents:
diff changeset
   340
	color: #606060;
hgs
parents:
diff changeset
   341
        white-space: nowrap;
hgs
parents:
diff changeset
   342
}
hgs
parents:
diff changeset
   343
hgs
parents:
diff changeset
   344
/* @end */
hgs
parents:
diff changeset
   345
hgs
parents:
diff changeset
   346
/* @group Member Details */
hgs
parents:
diff changeset
   347
hgs
parents:
diff changeset
   348
/* Styles for detailed member documentation */
hgs
parents:
diff changeset
   349
hgs
parents:
diff changeset
   350
.memtemplate {
hgs
parents:
diff changeset
   351
	font-size: 80%;
hgs
parents:
diff changeset
   352
	color: #606060;
hgs
parents:
diff changeset
   353
	font-weight: normal;
hgs
parents:
diff changeset
   354
	margin-left: 3px;
hgs
parents:
diff changeset
   355
}
hgs
parents:
diff changeset
   356
hgs
parents:
diff changeset
   357
.memnav {
hgs
parents:
diff changeset
   358
	background-color: #e8eef2;
hgs
parents:
diff changeset
   359
	border: 1px solid #84b0c7;
hgs
parents:
diff changeset
   360
	text-align: center;
hgs
parents:
diff changeset
   361
	margin: 2px;
hgs
parents:
diff changeset
   362
	margin-right: 15px;
hgs
parents:
diff changeset
   363
	padding: 2px;
hgs
parents:
diff changeset
   364
}
hgs
parents:
diff changeset
   365
hgs
parents:
diff changeset
   366
.memitem {
hgs
parents:
diff changeset
   367
	padding: 0;
hgs
parents:
diff changeset
   368
	margin-bottom: 10px;
hgs
parents:
diff changeset
   369
}
hgs
parents:
diff changeset
   370
hgs
parents:
diff changeset
   371
.memname {
hgs
parents:
diff changeset
   372
        white-space: nowrap;
hgs
parents:
diff changeset
   373
        font-weight: bold;
hgs
parents:
diff changeset
   374
        margin-left: 6px;
hgs
parents:
diff changeset
   375
}
hgs
parents:
diff changeset
   376
hgs
parents:
diff changeset
   377
.memproto {
hgs
parents:
diff changeset
   378
        border-top: 1px solid #84b0c7;          
hgs
parents:
diff changeset
   379
        border-left: 1px solid #84b0c7;         
hgs
parents:
diff changeset
   380
        border-right: 1px solid #84b0c7; 
hgs
parents:
diff changeset
   381
        padding: 0;
hgs
parents:
diff changeset
   382
        background-color: #d5e1e8;
hgs
parents:
diff changeset
   383
        font-weight: bold;
hgs
parents:
diff changeset
   384
        /* firefox specific markup */
hgs
parents:
diff changeset
   385
        background-image: -moz-linear-gradient(rgba(228, 233, 245, 1.0) 0%, rgba(193, 205, 232, 1.0) 100%);
hgs
parents:
diff changeset
   386
        -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
hgs
parents:
diff changeset
   387
        -moz-border-radius-topright: 8px;
hgs
parents:
diff changeset
   388
        -moz-border-radius-topleft: 8px;
hgs
parents:
diff changeset
   389
        /* webkit specific markup */
hgs
parents:
diff changeset
   390
        background-image: -webkit-gradient(linear, 0% 0%, 0% 100%, from(rgba(228, 233, 245, 1.0)), to(rgba(193, 205, 232, 1.0)));
hgs
parents:
diff changeset
   391
        -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
hgs
parents:
diff changeset
   392
        -webkit-border-top-right-radius: 8px;
hgs
parents:
diff changeset
   393
        -webkit-border-top-left-radius: 8px;
hgs
parents:
diff changeset
   394
hgs
parents:
diff changeset
   395
}
hgs
parents:
diff changeset
   396
hgs
parents:
diff changeset
   397
.memdoc {
hgs
parents:
diff changeset
   398
        border-bottom: 1px solid #84b0c7;      
hgs
parents:
diff changeset
   399
        border-left: 1px solid #84b0c7;      
hgs
parents:
diff changeset
   400
        border-right: 1px solid #84b0c7; 
hgs
parents:
diff changeset
   401
        padding: 2px 5px;
hgs
parents:
diff changeset
   402
        background-color: #eef3f5;
hgs
parents:
diff changeset
   403
        border-top-width: 0;
hgs
parents:
diff changeset
   404
        /* firefox specific markup */
hgs
parents:
diff changeset
   405
        -moz-border-radius-bottomleft: 8px;
hgs
parents:
diff changeset
   406
        -moz-border-radius-bottomright: 8px;
hgs
parents:
diff changeset
   407
        -moz-box-shadow: rgba(0, 0, 0, 0.15) 5px 5px 5px;
hgs
parents:
diff changeset
   408
        /* webkit specific markup */
hgs
parents:
diff changeset
   409
        -webkit-border-bottom-left-radius: 8px;
hgs
parents:
diff changeset
   410
        -webkit-border-bottom-right-radius: 8px;
hgs
parents:
diff changeset
   411
        -webkit-box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.15);
hgs
parents:
diff changeset
   412
}
hgs
parents:
diff changeset
   413
hgs
parents:
diff changeset
   414
.paramkey {
hgs
parents:
diff changeset
   415
	text-align: right;
hgs
parents:
diff changeset
   416
}
hgs
parents:
diff changeset
   417
hgs
parents:
diff changeset
   418
.paramtype {
hgs
parents:
diff changeset
   419
	white-space: nowrap;
hgs
parents:
diff changeset
   420
}
hgs
parents:
diff changeset
   421
hgs
parents:
diff changeset
   422
.paramname {
hgs
parents:
diff changeset
   423
	color: #602020;
hgs
parents:
diff changeset
   424
	white-space: nowrap;
hgs
parents:
diff changeset
   425
}
hgs
parents:
diff changeset
   426
.paramname em {
hgs
parents:
diff changeset
   427
	font-style: normal;
hgs
parents:
diff changeset
   428
}
hgs
parents:
diff changeset
   429
hgs
parents:
diff changeset
   430
/* @end */
hgs
parents:
diff changeset
   431
hgs
parents:
diff changeset
   432
/* @group Directory (tree) */
hgs
parents:
diff changeset
   433
hgs
parents:
diff changeset
   434
/* for the tree view */
hgs
parents:
diff changeset
   435
hgs
parents:
diff changeset
   436
.ftvtree {
hgs
parents:
diff changeset
   437
	font-family: sans-serif;
hgs
parents:
diff changeset
   438
	margin: 0.5em;
hgs
parents:
diff changeset
   439
}
hgs
parents:
diff changeset
   440
hgs
parents:
diff changeset
   441
/* these are for tree view when used as main index */
hgs
parents:
diff changeset
   442
hgs
parents:
diff changeset
   443
.directory {
hgs
parents:
diff changeset
   444
	font-size: 9pt;
hgs
parents:
diff changeset
   445
	font-weight: bold;
hgs
parents:
diff changeset
   446
}
hgs
parents:
diff changeset
   447
hgs
parents:
diff changeset
   448
.directory h3 {
hgs
parents:
diff changeset
   449
	margin: 0px;
hgs
parents:
diff changeset
   450
	margin-top: 1em;
hgs
parents:
diff changeset
   451
	font-size: 11pt;
hgs
parents:
diff changeset
   452
}
hgs
parents:
diff changeset
   453
hgs
parents:
diff changeset
   454
/*
hgs
parents:
diff changeset
   455
The following two styles can be used to replace the root node title
hgs
parents:
diff changeset
   456
with an image of your choice.  Simply uncomment the next two styles,
hgs
parents:
diff changeset
   457
specify the name of your image and be sure to set 'height' to the
hgs
parents:
diff changeset
   458
proper pixel height of your image.
hgs
parents:
diff changeset
   459
*/
hgs
parents:
diff changeset
   460
hgs
parents:
diff changeset
   461
/*
hgs
parents:
diff changeset
   462
.directory h3.swap {
hgs
parents:
diff changeset
   463
	height: 61px;
hgs
parents:
diff changeset
   464
	background-repeat: no-repeat;
hgs
parents:
diff changeset
   465
	background-image: url("yourimage.gif");
hgs
parents:
diff changeset
   466
}
hgs
parents:
diff changeset
   467
.directory h3.swap span {
hgs
parents:
diff changeset
   468
	display: none;
hgs
parents:
diff changeset
   469
}
hgs
parents:
diff changeset
   470
*/
hgs
parents:
diff changeset
   471
hgs
parents:
diff changeset
   472
.directory > h3 {
hgs
parents:
diff changeset
   473
	margin-top: 0;
hgs
parents:
diff changeset
   474
}
hgs
parents:
diff changeset
   475
hgs
parents:
diff changeset
   476
.directory p {
hgs
parents:
diff changeset
   477
	margin: 0px;
hgs
parents:
diff changeset
   478
	white-space: nowrap;
hgs
parents:
diff changeset
   479
}
hgs
parents:
diff changeset
   480
hgs
parents:
diff changeset
   481
.directory div {
hgs
parents:
diff changeset
   482
	display: none;
hgs
parents:
diff changeset
   483
	margin: 0px;
hgs
parents:
diff changeset
   484
}
hgs
parents:
diff changeset
   485
hgs
parents:
diff changeset
   486
.directory img {
hgs
parents:
diff changeset
   487
	vertical-align: -30%;
hgs
parents:
diff changeset
   488
}
hgs
parents:
diff changeset
   489
hgs
parents:
diff changeset
   490
/* these are for tree view when not used as main index */
hgs
parents:
diff changeset
   491
hgs
parents:
diff changeset
   492
.directory-alt {
hgs
parents:
diff changeset
   493
	font-size: 100%;
hgs
parents:
diff changeset
   494
	font-weight: bold;
hgs
parents:
diff changeset
   495
}
hgs
parents:
diff changeset
   496
hgs
parents:
diff changeset
   497
.directory-alt h3 {
hgs
parents:
diff changeset
   498
	margin: 0px;
hgs
parents:
diff changeset
   499
	margin-top: 1em;
hgs
parents:
diff changeset
   500
	font-size: 11pt;
hgs
parents:
diff changeset
   501
}
hgs
parents:
diff changeset
   502
hgs
parents:
diff changeset
   503
.directory-alt > h3 {
hgs
parents:
diff changeset
   504
	margin-top: 0;
hgs
parents:
diff changeset
   505
}
hgs
parents:
diff changeset
   506
hgs
parents:
diff changeset
   507
.directory-alt p {
hgs
parents:
diff changeset
   508
	margin: 0px;
hgs
parents:
diff changeset
   509
	white-space: nowrap;
hgs
parents:
diff changeset
   510
}
hgs
parents:
diff changeset
   511
hgs
parents:
diff changeset
   512
.directory-alt div {
hgs
parents:
diff changeset
   513
	display: none;
hgs
parents:
diff changeset
   514
	margin: 0px;
hgs
parents:
diff changeset
   515
}
hgs
parents:
diff changeset
   516
hgs
parents:
diff changeset
   517
.directory-alt img {
hgs
parents:
diff changeset
   518
	vertical-align: -30%;
hgs
parents:
diff changeset
   519
}
hgs
parents:
diff changeset
   520
hgs
parents:
diff changeset
   521
/* @end */
hgs
parents:
diff changeset
   522
hgs
parents:
diff changeset
   523
address {
hgs
parents:
diff changeset
   524
	font-style: normal;
hgs
parents:
diff changeset
   525
	color: #333;
hgs
parents:
diff changeset
   526
}
hgs
parents:
diff changeset
   527
hgs
parents:
diff changeset
   528
table.doxtable {
hgs
parents:
diff changeset
   529
	border-collapse:collapse;
hgs
parents:
diff changeset
   530
}
hgs
parents:
diff changeset
   531
hgs
parents:
diff changeset
   532
table.doxtable td, table.doxtable th {
hgs
parents:
diff changeset
   533
	border: 1px solid #153788;
hgs
parents:
diff changeset
   534
	padding: 3px 7px 2px;
hgs
parents:
diff changeset
   535
}
hgs
parents:
diff changeset
   536
hgs
parents:
diff changeset
   537
table.doxtable th {
hgs
parents:
diff changeset
   538
	background-color: #254798;
hgs
parents:
diff changeset
   539
	color: #FFFFFF;
hgs
parents:
diff changeset
   540
	font-size: 110%;
hgs
parents:
diff changeset
   541
	padding-bottom: 4px;
hgs
parents:
diff changeset
   542
	padding-top: 5px;
hgs
parents:
diff changeset
   543
	text-align:left;
hgs
parents:
diff changeset
   544
}
hgs
parents:
diff changeset
   545