doc/doxygen/html/doxygen.css
author etisserant
Thu, 28 Jun 2007 15:36:10 +0200
changeset 229 b24906340673
parent 207 b6572d0336c3
permissions -rw-r--r--
Fixed unicode encoding in gen_cfile.py
207
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     1
BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     2
	font-family: Geneva, Arial, Helvetica, sans-serif;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     3
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     4
BODY,TD {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     5
       font-size: 90%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     6
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     7
H1 {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     8
	text-align: center;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
     9
       font-size: 160%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    10
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    11
H2 {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    12
       font-size: 120%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    13
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    14
H3 {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    15
       font-size: 100%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    16
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    17
CAPTION { font-weight: bold }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    18
DIV.qindex {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    19
	width: 100%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    20
	background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    21
	border: 1px solid #84b0c7;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    22
	text-align: center;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    23
	margin: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    24
	padding: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    25
	line-height: 140%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    26
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    27
DIV.nav {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    28
	width: 100%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    29
	background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    30
	border: 1px solid #84b0c7;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    31
	text-align: center;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    32
	margin: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    33
	padding: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    34
	line-height: 140%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    35
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    36
DIV.navtab {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    37
       background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    38
       border: 1px solid #84b0c7;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    39
       text-align: center;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    40
       margin: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    41
       margin-right: 15px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    42
       padding: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    43
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    44
TD.navtab {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    45
       font-size: 70%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    46
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    47
A.qindex {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    48
       text-decoration: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    49
       font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    50
       color: #1A419D;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    51
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    52
A.qindex:visited {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    53
       text-decoration: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    54
       font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    55
       color: #1A419D
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    56
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    57
A.qindex:hover {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    58
	text-decoration: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    59
	background-color: #ddddff;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    60
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    61
A.qindexHL {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    62
	text-decoration: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    63
	font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    64
	background-color: #6666cc;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    65
	color: #ffffff;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    66
	border: 1px double #9295C2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    67
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    68
A.qindexHL:hover {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    69
	text-decoration: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    70
	background-color: #6666cc;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    71
	color: #ffffff;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    72
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    73
A.qindexHL:visited { text-decoration: none; background-color: #6666cc; color: #ffffff }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    74
A.el { text-decoration: none; font-weight: bold }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    75
A.elRef { font-weight: bold }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    76
A.code:link { text-decoration: none; font-weight: normal; color: #0000FF}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    77
A.code:visited { text-decoration: none; font-weight: normal; color: #0000FF}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    78
A.codeRef:link { font-weight: normal; color: #0000FF}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    79
A.codeRef:visited { font-weight: normal; color: #0000FF}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    80
A:hover { text-decoration: none; background-color: #f2f2ff }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    81
DL.el { margin-left: -1cm }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    82
.fragment {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    83
       font-family: monospace, fixed;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    84
       font-size: 95%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    85
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    86
PRE.fragment {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    87
	border: 1px solid #CCCCCC;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    88
	background-color: #f5f5f5;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    89
	margin-top: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    90
	margin-bottom: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    91
	margin-left: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    92
	margin-right: 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    93
	padding-left: 6px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    94
	padding-right: 6px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    95
	padding-top: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    96
	padding-bottom: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    97
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    98
DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
    99
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   100
DIV.groupHeader {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   101
       margin-left: 16px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   102
       margin-top: 12px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   103
       margin-bottom: 6px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   104
       font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   105
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   106
DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   107
BODY {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   108
	background: white;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   109
	color: black;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   110
	margin-right: 20px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   111
	margin-left: 20px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   112
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   113
TD.indexkey {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   114
	background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   115
	font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   116
	padding-right  : 10px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   117
	padding-top    : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   118
	padding-left   : 10px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   119
	padding-bottom : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   120
	margin-left    : 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   121
	margin-right   : 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   122
	margin-top     : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   123
	margin-bottom  : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   124
	border: 1px solid #CCCCCC;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   125
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   126
TD.indexvalue {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   127
	background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   128
	font-style: italic;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   129
	padding-right  : 10px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   130
	padding-top    : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   131
	padding-left   : 10px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   132
	padding-bottom : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   133
	margin-left    : 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   134
	margin-right   : 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   135
	margin-top     : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   136
	margin-bottom  : 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   137
	border: 1px solid #CCCCCC;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   138
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   139
TR.memlist {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   140
   background-color: #f0f0f0; 
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   141
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   142
P.formulaDsp { text-align: center; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   143
IMG.formulaDsp { }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   144
IMG.formulaInl { vertical-align: middle; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   145
SPAN.keyword       { color: #008000 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   146
SPAN.keywordtype   { color: #604020 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   147
SPAN.keywordflow   { color: #e08000 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   148
SPAN.comment       { color: #800000 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   149
SPAN.preprocessor  { color: #806020 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   150
SPAN.stringliteral { color: #002080 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   151
SPAN.charliteral   { color: #008080 }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   152
.mdescLeft {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   153
       padding: 0px 8px 4px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   154
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   155
	font-style: italic;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   156
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   157
	border-top: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   158
	border-right: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   159
	border-bottom: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   160
	border-left: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   161
	margin: 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   162
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   163
.mdescRight {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   164
       padding: 0px 8px 4px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   165
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   166
	font-style: italic;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   167
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   168
	border-top: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   169
	border-right: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   170
	border-bottom: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   171
	border-left: 1px none #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   172
	margin: 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   173
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   174
.memItemLeft {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   175
	padding: 1px 0px 0px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   176
	margin: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   177
	border-top-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   178
	border-right-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   179
	border-bottom-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   180
	border-left-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   181
	border-top-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   182
	border-right-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   183
	border-bottom-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   184
	border-left-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   185
	border-top-style: solid;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   186
	border-right-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   187
	border-bottom-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   188
	border-left-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   189
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   190
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   191
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   192
.memItemRight {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   193
	padding: 1px 8px 0px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   194
	margin: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   195
	border-top-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   196
	border-right-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   197
	border-bottom-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   198
	border-left-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   199
	border-top-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   200
	border-right-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   201
	border-bottom-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   202
	border-left-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   203
	border-top-style: solid;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   204
	border-right-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   205
	border-bottom-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   206
	border-left-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   207
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   208
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   209
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   210
.memTemplItemLeft {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   211
	padding: 1px 0px 0px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   212
	margin: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   213
	border-top-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   214
	border-right-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   215
	border-bottom-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   216
	border-left-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   217
	border-top-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   218
	border-right-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   219
	border-bottom-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   220
	border-left-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   221
	border-top-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   222
	border-right-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   223
	border-bottom-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   224
	border-left-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   225
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   226
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   227
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   228
.memTemplItemRight {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   229
	padding: 1px 8px 0px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   230
	margin: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   231
	border-top-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   232
	border-right-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   233
	border-bottom-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   234
	border-left-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   235
	border-top-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   236
	border-right-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   237
	border-bottom-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   238
	border-left-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   239
	border-top-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   240
	border-right-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   241
	border-bottom-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   242
	border-left-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   243
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   244
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   245
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   246
.memTemplParams {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   247
	padding: 1px 0px 0px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   248
	margin: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   249
	border-top-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   250
	border-right-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   251
	border-bottom-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   252
	border-left-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   253
	border-top-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   254
	border-right-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   255
	border-bottom-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   256
	border-left-color: #E0E0E0;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   257
	border-top-style: solid;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   258
	border-right-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   259
	border-bottom-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   260
	border-left-style: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   261
       color: #606060;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   262
	background-color: #FAFAFA;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   263
	font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   264
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   265
.search     { color: #003399;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   266
              font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   267
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   268
FORM.search {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   269
              margin-bottom: 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   270
              margin-top: 0px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   271
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   272
INPUT.search { font-size: 75%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   273
               color: #000080;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   274
               font-weight: normal;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   275
               background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   276
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   277
TD.tiny      { font-size: 75%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   278
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   279
a {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   280
	color: #1A41A8;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   281
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   282
a:visited {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   283
	color: #2A3798;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   284
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   285
.dirtab { padding: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   286
          border-collapse: collapse;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   287
          border: 1px solid #84b0c7;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   288
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   289
TH.dirtab { background: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   290
            font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   291
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   292
HR { height: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   293
     border: none;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   294
     border-top: 1px solid black;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   295
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   296
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   297
/* Style for detailed member documentation */
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   298
.memtemplate {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   299
  font-size: 80%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   300
  color: #606060;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   301
  font-weight: normal;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   302
} 
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   303
.memnav { 
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   304
  background-color: #e8eef2;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   305
  border: 1px solid #84b0c7;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   306
  text-align: center;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   307
  margin: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   308
  margin-right: 15px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   309
  padding: 2px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   310
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   311
.memitem {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   312
  padding: 4px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   313
  background-color: #eef3f5;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   314
  border-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   315
  border-style: solid;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   316
  border-color: #dedeee;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   317
  -moz-border-radius: 8px 8px 8px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   318
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   319
.memname {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   320
  white-space: nowrap;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   321
  font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   322
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   323
.memdoc{
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   324
  padding-left: 10px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   325
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   326
.memproto {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   327
  background-color: #d5e1e8;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   328
  width: 100%;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   329
  border-width: 1px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   330
  border-style: solid;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   331
  border-color: #84b0c7;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   332
  font-weight: bold;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   333
  -moz-border-radius: 8px 8px 8px 8px;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   334
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   335
.paramkey {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   336
  text-align: right;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   337
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   338
.paramtype {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   339
  white-space: nowrap;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   340
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   341
.paramname {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   342
  color: #602020;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   343
  font-style: italic;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   344
  white-space: nowrap;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   345
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   346
/* End Styling for detailed member documentation */
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   347
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   348
/* for the tree view */
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   349
.ftvtree {
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   350
	font-family: sans-serif;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   351
	margin:0.5em;
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   352
}
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   353
.directory { font-size: 9pt; font-weight: bold; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   354
.directory h3 { margin: 0px; margin-top: 1em; font-size: 11pt; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   355
.directory > h3 { margin-top: 0; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   356
.directory p { margin: 0px; white-space: nowrap; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   357
.directory div { display: none; margin: 0px; }
b6572d0336c3 First doxygen implementation
nico
parents:
diff changeset
   358
.directory img { vertical-align: -30%; }