jdk

1
/*
2
 * Copyright (c) 2017, 2024, Oracle and/or its affiliates. All rights reserved.
3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4
 *
5
 * This code is free software; you can redistribute it and/or modify it
6
 * under the terms of the GNU General Public License version 2 only, as
7
 * published by the Free Software Foundation.  Oracle designates this
8
 * particular file as subject to the "Classpath" exception as provided
9
 * by Oracle in the LICENSE file that accompanied this code.
10
 *
11
 * This code is distributed in the hope that it will be useful, but WITHOUT
12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14
 * version 2 for more details (a copy is included in the LICENSE file that
15
 * accompanied this code).
16
 *
17
 * You should have received a copy of the GNU General Public License version
18
 * 2 along with this work; if not, write to the Free Software Foundation,
19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20
 *
21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
22
 * or visit www.oracle.com if you need additional information or have any
23
 * questions.
24
 */
25

26
@import url('../api/resource-files/fonts/dejavu.css');
27

28
body {
29
  font-family: DejaVu Sans, Bitstream Vera Sans, Luxi Sans, Verdana, Arial, Helvetica, sans-serif;
30
  font-size: 10pt;
31
  margin: 0;
32
  padding: 0;
33
  height: 100%;
34
  width: 100%;
35
  min-width: 100%;
36
  line-height: 1.4;
37
}
38

39
pre, code, tt {
40
    font-family: DejaVu Sans Mono, Bitstream Vera Sans Mono, Luxi Mono, Courier New, monospace;
41
}
42

43
main, footer {
44
  margin: 16px 27px;
45
}
46

47
/* Adjust horizontal margin for content elements outside of main element */
48
:is(body, header) > :is(nav, h1, h2, h3, h4, h5, h6, p, .sub-title) {
49
    margin-left: 27px;
50
    margin-right: 27px;
51
}
52

53
blockquote {
54
  margin: 1.5ex 0 1.5ex 2em;
55
}
56

57
p {
58
  margin-top: 1ex;
59
  margin-bottom: 1ex;
60
}
61

62
dd > p:first-child, pre:first-child {
63
  margin-top: 0;
64
}
65

66
h1:first-child, h2:first-child {
67
  margin-top: 0;
68
}
69

70
h1, h2 {
71
  margin-top: 2ex;
72
  margin-bottom: 1ex;
73
}
74

75
h3, h4, h5 {
76
  margin-top: 1.5ex;
77
  margin-bottom: 1ex;
78
}
79

80
h4, h5 {
81
  font-size: 100%;
82
}
83

84
.subtitle {
85
    font-style: italic;
86
    font-weight: bold;
87
    margin-bottom: 1em;
88
}
89

90
h1.title + .subtitle {
91
    margin-top: -1em;
92
}
93

94
a { text-decoration: none }
95

96
a:link {
97
  color: #4A6782;
98
}
99

100
a:visited {
101
  color: #666666;
102
}
103

104
a[href]:hover {
105
  color: #e76f00;
106
}
107

108
a img {
109
  border-width: 0;
110
}
111

112
img {
113
  background: white;
114
}
115

116
table {
117
  border-collapse: collapse;
118
  margin-left: 15px;
119
  margin-right: 15px;
120
}
121

122
th, td {
123
  padding: 3px;
124
  vertical-align: top;
125
}
126

127
table, th, td {
128
  border: 1px solid black;
129
}
130

131
caption  {
132
  text-align: left;
133
  font-style: italic;
134
  text-indent: 15px;
135
  margin-bottom:10px;
136
}
137

138
tr:nth-child(even), tr:nth-child(even) th[scope=row] {
139
  background: #E3E3E3;
140
}
141

142
tr:nth-child(odd), tr:nth-child(odd) th[scope=row] {
143
  background: #FFF;
144
}
145

146
th {
147
  background: #DDF;
148
}
149

150
table.centered {
151
  margin-left: auto;
152
  margin-right: auto;
153
}
154
table.centered td {
155
  text-align: left;
156
}
157
.centered {
158
  text-align: center;
159
}
160

161
.draft-header {
162
  text-align: center;
163
  font-size: 11.2px;
164
  padding: 6px;
165
  line-height: initial;
166
}
167

168
.legal-footer {
169
    font-style: italic;
170
    font-size: 80%;
171
}
172

173
nav#TOC {
174
  border: 1px solid gray;
175
  border-radius: 10px;
176
  padding: 5px 10px;
177
  margin-bottom: 15px;
178
}
179

180
nav#TOC ul ul {
181
    font-size:smaller;
182
}
183

184
nav#TOC ul ul li {
185
    display: inline-block
186
}
187

188
nav#TOC ul ul li::before {
189
    content: " \2022  "
190
}
191

192
/* Rules below replicate sizing of navigation bar in API docs */
193
header#title-block-header div.navbar {
194
    padding: 0 20px 0 26px;
195
    margin-bottom: 30px;
196
    background-color: #4D7A97;
197
    color: #FFFFFF;
198
    height: 44px;
199
    overflow: hidden;
200
    font-size: 0.857em;
201
    line-height: initial;
202
    display: flex;
203
    flex-direction: row-reverse;
204
    align-items: center;
205
}
206

207
header#title-block-header div.navbar nav {
208
    flex: 1 1 auto;
209
    font-size: 12px;
210
    white-space: nowrap;
211
}
212

213
header#title-block-header div.navbar div {
214
    flex: 0 0 auto;
215
    font-size: 10.978px;
216
    white-space: nowrap;
217
}
218

219
header#title-block-header ul {
220
    display:block;
221
    margin:0 25px 0 0;
222
    padding:0;
223
}
224
header#title-block-header ul li {
225
    list-style:none;
226
    float:left;
227
    padding: 5px 6px;
228
    text-transform:uppercase;
229
}
230

231
header#title-block-header li.no-link {
232
    background-color:#F8981D;
233
    color:#253441;
234
    margin: auto 5px;
235
}
236

237
header#title-block-header a:link, header#title-block-header a:active, header#title-block-header a:visited {
238
    color:#ffffff;
239
    text-decoration:none;
240
    text-transform:uppercase;
241
}
242
header#title-block-header a:hover {
243
    color:#bb7a2a;
244
}
245