jdk/src/share/classes/javax/swing/text/html/default.css
author darcy
Wed, 22 Jan 2014 23:20:58 -0800
changeset 22567 5816a47fa4dd
parent 5506 202f599c92aa
permissions -rw-r--r--
8032047: Fix static lint warnings in client libraries 8032048: Add static lint warning to build of jdk repository Reviewed-by: pchelko, serb, erikj
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
     2
 * Copyright (c) 1997, 2005, Oracle and/or its affiliates. All rights reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
5506
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
202f599c92aa 6943119: Rebrand source copyright notices
ohair
parents: 2
diff changeset
    23
 * questions.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
/*
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
body  {font-size: 14pt;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
       font-family: Serif;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
       font-weight: normal;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
       margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    33
       margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
       color: black}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
p   {margin-top: 15}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
h1  {font-size: x-large;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
     font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
     margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
     margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
h2 {font-size: large;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
    font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
h3 {font-size: medium;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
    font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
h4 {font-size: small;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
    font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
h5 {font-size: x-small;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
    font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
h6 {font-size: xx-small;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
    font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
li p {margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
td p {margin-top: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
menu li p {margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
menu li {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
    margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
menu {margin-left-ltr: 40;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
    margin-right-rtl: 40;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
dir li p {margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
dir li {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
    margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
dir {margin-left-ltr: 40;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
    margin-right-rtl: 40;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
dd {margin-left-ltr: 40;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
    margin-right-rtl: 40;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
dd p {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
    margin-rigth: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
dt {margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
dl {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
    margin-bottom: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
ol li {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
    margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
ol {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
    margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
    margin-bottom: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
    margin-left-ltr: 50;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
    margin-right-rtl: 50;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   126
    list-style-type: decimal
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   128
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
ol li p {margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
    margin-bottom:0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
ul li {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
    margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
ul {margin-top: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   138
    margin-bottom: 10;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
    margin-left-ltr: 50;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   140
    margin-right-rtl: 50;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
    list-style-type: disc;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
    -bullet-gap: 10}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
ul li ul li {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
    margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
ul li ul {list-style-type: circle;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
    margin-left-ltr: 25;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
    margin-right-rtl: 25;}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
ul li ul li ul li {margin-left: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
    margin-right: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
    margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
    margin-bottom: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
ul li ul li ul {list-style-type: square;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
    margin-left-ltr: 25;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
    margin-right-rtl: 25}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
ul li menu {list-style-type: circle;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
    margin-left-ltr: 25;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
    margin-right-rtl: 25;}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
ul li p {margin-top: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
    margin-bottom:0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
a {color: blue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
   text-decoration: underline}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
big {font-size: x-large}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
small {font-size: x-small}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
samp {font-size: small;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
      font-family: Monospaced}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
cite {font-style: italic}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
code {font-size: small;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
      font-family: Monospaced}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
dfn {font-style: italic}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
em {font-style: italic}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
i  {font-style: italic}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
b  {font-weight: bold}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
kbd {font-size: small;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
     font-family: Monospaced}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
s {text-decoration: line-through}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
strike {text-decoration: line-through}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
strong {font-weight: bold}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
sub {vertical-align: sub}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
sup {vertical-align: sup}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
tt {font-family: Monospaced}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
u {text-decoration: underline}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
var {font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
     font-style: italic}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
table {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
        border-style: outset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
        border-width: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
tr {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
	text-align: left
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
td {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
        border-width: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
	border-style: inset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
	padding-left: 3;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
	padding-right: 3;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
	padding-top: 3;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
	padding-bottom: 3
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
th {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
	text-align: center;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
	font-weight: bold;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
        border-width: 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
	border-style: inset;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
	padding-left: 3;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
	padding-right: 3;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
	padding-top: 3;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
	padding-bottom: 3
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
address {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
	color: blue;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
	font-style: italic
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
blockquote {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
	margin-top: 5;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
	margin-bottom: 5;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
	margin-left: 35;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   250
	margin-right: 35
90ce3da70b43 Initial load
duke
parents:
diff changeset
   251
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   252
90ce3da70b43 Initial load
duke
parents:
diff changeset
   253
center {text-align: center}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   254
90ce3da70b43 Initial load
duke
parents:
diff changeset
   255
pre {margin-top: 5;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   256
     margin-bottom: 5;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   257
     font-family: Monospaced}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   258
90ce3da70b43 Initial load
duke
parents:
diff changeset
   259
pre p {margin-top: 0}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   260
90ce3da70b43 Initial load
duke
parents:
diff changeset
   261
caption {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   262
    caption-side: top;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   263
    text-align: center
90ce3da70b43 Initial load
duke
parents:
diff changeset
   264
}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   265
90ce3da70b43 Initial load
duke
parents:
diff changeset
   266
nobr { white-space: nowrap }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   267