Admin/website/css/aelfwine.css
author wenzelm
Sat, 15 Oct 2005 00:08:00 +0200
changeset 17851 2fa4f9b54761
parent 17563 abb280dd3431
permissions -rw-r--r--
tuned comments;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17563
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     1
/************************************************************
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     2
 * Stylesheet AElfwine                                      *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     3
 ************************************************************
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     4
 *                                                          *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     5
 * This has been collected from various sources.            *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     6
 *                                                          *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     7
 * Version 1.0 - 2005/05/01 - f.h.                          *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     8
 *                                                          *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
     9
 * ...aiming for perfection ;-)                             *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    10
 *                                                          *
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    11
 ************************************************************/
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    12
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    13
@namespace url(http://www.w3.org/1999/xhtml); /* DOES ANYONE KNOW WHAT'S THAT ABOUT!? */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    14
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    15
/* base paragraph and heading types */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    16
h1 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    17
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    18
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    19
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    20
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    21
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    22
    font-size:          2.20em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    23
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    24
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    25
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    26
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    27
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    28
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    29
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    30
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    31
    text-align:         center;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    32
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    33
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    34
    margin-top:         0.62em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    35
    margin-bottom:      0.31em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    36
    margin-left:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    37
    margin-right:       0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    38
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    39
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    40
h2 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    41
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    42
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    43
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    44
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    45
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    46
    font-size:          1.77em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    47
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    48
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    49
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    50
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    51
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    52
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    53
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    54
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    55
    text-align:         center;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    56
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    57
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    58
    margin-top:         0.40em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    59
    margin-bottom:      0.20em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    60
    margin-left:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    61
    margin-right:       0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    62
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    63
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    64
h3 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    65
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    66
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    67
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    68
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    69
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    70
    font-size:          1.57em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    71
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    72
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    73
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    74
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    75
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    76
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    77
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    78
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    79
    text-align:         left;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    80
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    81
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    82
    margin-top:         0.32em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    83
    margin-bottom:      0.10em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    84
    margin-left:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    85
    margin-right:       0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    86
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    87
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    88
h4 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    89
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    90
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    91
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    92
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    93
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    94
    font-size:          1.47em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    95
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    96
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    97
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    98
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
    99
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   100
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   101
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   102
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   103
    text-align:         left;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   104
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   105
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   106
    margin-top:         0.29em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   107
    margin-bottom:      0.05em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   108
    margin-left:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   109
    margin-right:       0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   110
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   111
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   112
h5 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   113
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   114
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   115
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   116
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   117
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   118
    font-size:          1.18em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   119
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   120
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   121
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   122
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   123
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   124
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   125
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   126
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   127
    text-align:         left;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   128
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   129
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   130
    margin-top:         0.27em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   131
    margin-bottom:      0.03em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   132
    margin-left:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   133
    margin-right:       0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   134
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   135
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   136
h6 {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   137
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   138
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   139
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   140
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   141
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   142
    font-size:          1em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   143
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   144
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   145
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   146
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   147
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   148
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   149
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   150
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   151
    text-align:         left;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   152
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   153
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   154
    margin-top:         0.25em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   155
    margin-bottom:      0.00em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   156
    margin-left:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   157
    margin-right:       0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   158
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   159
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   160
p, body, th, td {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   161
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   162
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   163
    font-family:        Arial,Helvetica,Verdana,sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   164
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   165
    font-variant:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   166
    font-size:          1.00em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   167
    font-weight:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   168
    font-stretch:       normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   169
    text-decoration:    none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   170
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   171
    color:              #000000; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   172
    text-shadow:        none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   173
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   174
    text-indent:        0.00px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   175
    white-space:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   176
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   177
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   178
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   179
p {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   180
    text-align:         justify;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   181
    margin-top:         0.20em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   182
    margin-bottom:      0.20em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   183
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   184
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   185
/* text markup */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   186
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   187
em {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   188
    font-style:         italic;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   189
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   190
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   191
strong {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   192
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   193
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   194
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   195
del {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   196
    text-decoration:    line-through;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   197
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   198
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   199
ins {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   200
    text-decoration:    underline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   201
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   202
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   203
/* text format */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   204
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   205
sub {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   206
    vertical-align: sub;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   207
    font-size: smaller;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   208
    line-height: normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   209
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   210
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   211
sup {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   212
    vertical-align: super;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   213
    font-size: smaller;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   214
    line-height: normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   215
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   216
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   217
big {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   218
    font-size: larger;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   219
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   220
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   221
small {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   222
    font-size: smaller;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   223
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   224
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   225
tt {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   226
    font-family: Courier New,monospace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   227
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   228
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   229
pre {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   230
    display: block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   231
    font-family: Courier New,monospace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   232
    white-space: pre;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   233
    margin: 1em 1em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   234
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   235
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   236
/* ruler */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   237
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   238
hr {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   239
    display: block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   240
    margin: 0 auto 0 auto;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   241
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   242
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   243
/* document */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   244
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   245
html {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   246
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   247
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   248
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   249
body {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   250
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   251
    /* KHTML background:         #FFFFEE; */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   252
    margin:             8px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   253
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   254
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   255
/* blocks */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   256
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   257
div {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   258
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   259
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   260
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   261
address {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   262
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   263
    font-style:         italic;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   264
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   265
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   266
blockquote {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   267
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   268
    margin:             1em 40px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   269
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   270
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   271
blockquote[type=cite] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   272
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   273
    margin:             1em 0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   274
    padding-left:       1em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   275
    border-left:        solid;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   276
    border-color:       blue;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   277
    border-width:       thin;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   278
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   279
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   280
/* spans */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   281
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   282
span {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   283
    display:            inline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   284
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   285
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   286
abbr, acronym {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   287
    display:            inline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   288
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   289
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   290
cite, q {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   291
    display:            inline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   292
    font-style:         italic;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   293
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   294
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   295
code, var, kbd {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   296
    font-family:        Courier New,monospace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   297
    display:            inline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   298
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   299
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   300
dfn {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   301
    display:            inline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   302
    font-style:         italic;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   303
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   304
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   305
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   306
samp {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   307
    display:            inline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   308
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   309
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   310
/* tables */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   311
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   312
table {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   313
    display:            table;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   314
    margin:             0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   315
    padding:            0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   316
    border-spacing:     1px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   317
    border-collapse:    separate;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   318
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   319
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   320
table[align="left"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   321
    float:              left;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   322
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   323
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   324
table[align="right"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   325
    float:              right;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   326
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   327
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   328
caption {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   329
    display:            table-caption;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   330
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   331
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   332
colgroup {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   333
    display:            table-column-group;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   334
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   335
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   336
col {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   337
    display:            table-column;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   338
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   339
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   340
thead {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   341
    display:            table-header-group;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   342
    vertical-align:     middle;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   343
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   344
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   345
tbody {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   346
    display:            table-row-group;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   347
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   348
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   349
tfoot {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   350
    display:            table-footer-group;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   351
    vertical-align:     middle;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   352
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   353
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   354
tr {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   355
    display:            table-row;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   356
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   357
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   358
th {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   359
    display:            table-cell;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   360
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   361
    padding:            1px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   362
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   363
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   364
td { 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   365
    display:            table-cell;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   366
    padding:            1px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   367
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   368
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   369
/* lists */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   370
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   371
ul {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   372
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   373
    list-style-type:    disc;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   374
    margin:             1em 0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   375
    padding-left:       40px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   376
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   377
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   378
ol {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   379
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   380
    list-style-type:    decimal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   381
    margin:             1em 0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   382
    padding-left:       40px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   383
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   384
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   385
dl {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   386
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   387
    margin:             1em 0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   388
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   389
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   390
dt {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   391
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   392
    margin-left:        1em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   393
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   394
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   395
dd {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   396
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   397
    margin-left:        3em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   398
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   399
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   400
li {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   401
    display:            list-item;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   402
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   403
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   404
/* nested lists have no top/bottom margins */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   405
ul ul, ul ol, ul dl,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   406
ol ul, ol ol, ol dl,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   407
dl ul, dl ol, dl dl {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   408
    margin-top:         0;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   409
    margin-bottom:      0;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   410
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   411
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   412
/* 2 deep unordered lists use a circle */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   413
ol ul, ul ul {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   414
    list-style-type:    circle;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   415
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   416
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   417
/* 3 deep (or more) unordered lists use a square */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   418
ol ol ul, ol ul ul,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   419
ul ol ul, ul ul ul {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   420
  list-style-type:      square;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   421
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   422
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   423
/* hyperlinks */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   424
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   425
a:link {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   426
    color:              #FF0000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   427
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   428
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   429
a:visited {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   430
    color:              #FF6600;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   431
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   432
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   433
a:hover {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   434
    color:              #FF0000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   435
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   436
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   437
a:active {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   438
    color:              #FF0000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   439
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   440
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   441
a:focus {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   442
    color:              #FF0000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   443
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   444
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   445
a[name]:link, a[id]:link:not([href]) {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   446
    color:              #000000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   447
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   448
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   449
a[name]:hover, a[id]:hover:not([href]) {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   450
    color:              #000000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   451
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   452
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   453
a[name]:active, a[id]:active:not([href]) {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   454
    color:              #000000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   455
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   456
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   457
a[name]:focus, a[id]:focus:not([href]) {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   458
    color:              #000000;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   459
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   460
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   461
a img {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   462
    border:             none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   463
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   464
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   465
/* hidden elements */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   466
area, base, basefont, head, meta, script, style, title,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   467
noembed, noframes, noscript, param {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   468
    display:            none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   469
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   470
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   471
/* forms */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   472
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   473
/* misc */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   474
legend {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   475
    padding-left:       2px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   476
    padding-right:      2px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   477
    border:             none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   478
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   479
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   480
fieldset {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   481
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   482
    margin-left:        2px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   483
    margin-right:       2px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   484
    padding:            0.75em 0.625em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   485
    border:             2px groove ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   486
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   487
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   488
label {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   489
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   490
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   491
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   492
/* default inputs, text inputs, and selects */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   493
input [type=""], input[type="text"], input[type="password"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   494
    padding:            1px 0px 1px 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   495
    border:             2px inset ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   496
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   497
    vertical-align:     text-bottom;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   498
    cursor:             text;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   499
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   500
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   501
textarea {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   502
    margin:             1px 0px 1px 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   503
    border:             2px inset ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   504
    font-size:          medium;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   505
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   506
    vertical-align:     text-bottom;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   507
    cursor:             text;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   508
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   509
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   510
select {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   511
    margin:             0;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   512
    border-color:       ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   513
    white-space:        nowrap;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   514
    vertical-align:     text-bottom;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   515
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   516
    border-width:       2px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   517
    border-style:       inset;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   518
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   519
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   520
select[size] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   521
    padding:            1px 0px 1px 0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   522
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   523
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   524
select[size="1"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   525
    padding:            0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   526
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   527
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   528
option {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   529
    display: block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   530
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   531
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   532
option :checked {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   533
    background-color:   Highlight;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   534
    color:              HighlightText;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   535
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   536
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   537
optgroup {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   538
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   539
    font-style:         italic;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   540
    font-weight:        bold;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   541
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   542
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   543
optgroup > option {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   544
    padding-left:       20px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   545
    font-style:         normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   546
    font-weight:        normal;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   547
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   548
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   549
optgroup :before {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   550
    display:            block;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   551
    content:            attr(label);
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   552
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   553
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   554
option[disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   555
optgroup[disabled] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   556
    background-color:   transparent;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   557
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   558
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   559
/* hidden inputs */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   560
input[type="hidden"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   561
    display:            none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   562
    padding:            0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   563
    border:             0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   564
    cursor:             auto;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   565
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   566
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   567
/* image buttons */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   568
input[type="image"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   569
    padding:            0em;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   570
    border:             none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   571
    background-color:   transparent;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   572
    vertical-align:     baseline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   573
    font-family:        sans-serif;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   574
    font-size:          small;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   575
    cursor:             pointer;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   576
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   577
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   578
input[type="image"][disabled] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   579
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   580
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   581
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   582
/* file selector */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   583
input[type="file"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   584
    white-space:        nowrap;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   585
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   586
    padding:            0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   587
    border-style:       none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   588
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   589
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   590
/* radio buttons and check boxes*/
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   591
input[type="radio"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   592
    width:              13px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   593
    height:             13px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   594
    margin:             3px 3px 0px 5px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   595
    padding:            0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   596
    vertical-align:     baseline;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   597
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   598
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   599
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   600
/* check boxes */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   601
input[type="checkbox"] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   602
    width:              13px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   603
    height:             13px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   604
    margin:             3px 3px 3px 4px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   605
    padding:            0px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   606
    vertical-align:     text-bottom;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   607
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   608
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   609
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   610
input[type="checkbox"]:focus,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   611
input[type="radio"]:focus {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   612
    border-style: groove;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   613
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   614
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   615
input[type="checkbox"]:hover:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   616
input[type="radio"]:hover:active {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   617
    background-color:   ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   618
    border-style:       inset;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   619
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   620
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   621
/* buttons */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   622
button, 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   623
input[type="reset"],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   624
input[type="button"],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   625
input[type="submit"] { 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   626
    text-transform:     none;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   627
    padding:            2px 0 2px 0;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   628
    border:             2px outset ButtonFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   629
    background-color:   ButtonFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   630
    color:              ButtonText; 
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   631
    white-space:        pre;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   632
    vertical-align:     text-bottom;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   633
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   634
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   635
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   636
button:active:hover,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   637
input[type="reset"]:active:hover,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   638
input[type="button"]:active:hover,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   639
input[type="submit"]:active:hover {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   640
    padding:            3px 0 1px 0;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   641
    border-style:       inset;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   642
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   643
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   644
/* disables inputs */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   645
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   646
input[disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   647
textarea[disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   648
option[disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   649
optgroup[disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   650
select[disabled] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   651
    color:              GrayText;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   652
    background-color:   ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   653
    cursor:             default;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   654
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   655
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   656
input[type="radio"][disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   657
input[type="radio"][disabled]:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   658
input[type="radio"][disabled]:hover,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   659
input[type="radio"][disabled]:hover:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   660
input[type="checkbox"][disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   661
input[type="checkbox"][disabled]:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   662
input[type="checkbox"][disabled]:hover,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   663
input[type="checkbox"][disabled]:hover:active {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   664
    padding:            1px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   665
    border:             1px inset ThreeDShadow;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   666
    color:              GrayText;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   667
    background-color:   ThreeDFace;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   668
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   669
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   670
button[disabled]:active, button[disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   671
input[type="reset"][disabled]:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   672
input[type="reset"][disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   673
input[type="button"][disabled]:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   674
input[type="button"][disabled],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   675
select[disabled] > input[type="button"],
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   676
select[disabled] > input[type="button"]:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   677
input[type="submit"][disabled]:active,
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   678
input[type="submit"][disabled] {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   679
    padding:            3px 1px 3px 1px;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   680
    border:             1px outset ButtonShadow;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   681
    color:              GrayText;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   682
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   683
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   684
/* DocBook-XSLT-specific extensions */
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   685
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   686
div.figure {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   687
    margin-top: 1.9ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   688
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   689
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   690
div.note {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   691
    margin-top: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   692
    margin-bottom: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   693
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   694
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   695
div.tip {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   696
    margin-top: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   697
    margin-bottom: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   698
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   699
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   700
div.warning {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   701
    margin-top: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   702
    margin-bottom: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   703
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   704
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   705
div.caution {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   706
    margin-top: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   707
    margin-bottom: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   708
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   709
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   710
div.important {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   711
    margin-top: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   712
    margin-bottom: 1.0ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   713
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   714
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   715
div.figure {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   716
    margin-bottom: 0.8ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   717
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   718
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   719
div.example {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   720
    margin-bottom: 0.8ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   721
}
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   722
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   723
div.equation {
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   724
    margin-bottom: 0.8ex;
abb280dd3431 unify dist and main
haftmann
parents:
diff changeset
   725
}