1.jd-toptitle {
2    padding-left: 6px;
3    margin-bottom: 30px;
4    font-size: 160%;
5    font-weight: bold;
6}
7
8div#jd-content table {
9    border: none;
10}
11
12div#jd-content td, div#jd-content th {
13    font-size: small;
14}
15
16div#jd-content table.jd-linktable {
17    margin-top: 3px;
18    border-spacing: 0;
19}
20
21div#jd-content p.jd-deprecated-warning {
22    margin-top: 0;
23    margin-bottom: 10px;
24}
25
26div#jd-content table.jd-linktable th {
27    vertical-align: top;
28    text-align: left;
29    padding-top: 2px;
30    padding-bottom: 2px;
31    padding-left: 7px;
32    padding-right: 7px;
33    border: none;
34    border-top: 1px solid #d2d7d0;
35    background-color: #F7FCF4;
36}
37
38div#jd-content table.jd-linktable td {
39    border: none;
40}
41
42div#jd-content table.jd-linktable td  p {
43    padding: 0;
44    margin: 0;
45    line-height: 110%;
46}
47
48div#jd-content table.jd-linktable .jd-linkcol {
49    vertical-align: top;
50    padding-top: 3px;
51    padding-bottom: 0;
52    padding-left: 7px;
53    padding-right: 7px;
54    border-top: 1px solid #d2d7d0;
55    background-color: #E5F1E0;
56    line-height: 110%;
57}
58
59div#jd-content table.jd-linktable .jd-descrcol {
60    vertical-align: top;
61    padding-top: 3px;
62    padding-bottom: 0;
63    padding-left: 7px;
64    padding-right: 7px;
65    border-top: 1px solid #d2d7d0;
66    background-color: #F7FCF4;
67    line-height: 110%;
68}
69
70div#jd-content table.jd-linktable .jd-descrcol p {
71    padding: 0;
72    margin: 0;
73    line-height: 110%;
74}
75
76div#jd-content table.jd-linktable .jd-valcol {
77    vertical-align: top;
78    padding-top: 3px;
79    padding-bottom: 0;
80    padding-left: 7px;
81    padding-right: 7px;
82    border-top: 1px solid #d2d7d0;
83    background-color: #E5F1E0;
84    line-height: 110%;
85}
86
87div#jd-content table.jd-linktable .jd-commentrow {
88    vertical-align: top;
89    padding-top: 3px;
90    padding-bottom: 4px;
91    padding-left: 7px;
92    padding-right: 7px;
93    background-color: #F7FCF4;
94    line-height: 110%;
95}
96
97div#jd-content div.jd-inheritedlinks {
98    vertical-align: top;
99    margin-top: 9px;
100    padding-left: 7px;
101    padding-right: 7px;
102    background-color: #F7FCF4;
103    line-height: 110%;
104}
105
106div#jd-content .jd-page_title-prefix {
107    padding-top: 2em;
108    margin-bottom: -14pt;
109}
110
111div#jd-content {
112    margin-left: 0;
113    margin-right: 10px;
114    margin-bottom: 0;
115}
116
117div#jd-content h1 {
118    padding-left: 10px;
119}
120
121div#jd-content h2 {
122    padding-left: 10px;
123}
124
125div#jd-content h4 {
126    margin-top: 9px;
127    margin-bottom: 1px;
128}
129
130div#jd-content .jd-descr h5 {
131    margin-bottom: 8px;
132}
133
134div#jd-content .sidebox h3 {
135    margin: 1em 0 0 0;
136}
137
138div#jd-content .jd-letterlist {
139    margin-top: 20px;
140    margin-bottom: 0;
141}
142
143div#jd-content .jd-lettertable {
144    margin-top: 15px;
145    margin-right: 10px;
146}
147div#jd-content .jd-letterentries {
148	list-style: none;
149	margin-left: 0;
150}
151div#jd-content .jd-letterentrycomments {
152    color: gray;
153}
154
155div#jd-content table.jd-inheritance-table {
156    margin-top: 0;
157    margin-left: 10px;
158    margin-right: 10px;
159    border-spacing: 0;
160}
161
162div#jd-content table.jd-inheritance-table td {
163    border: none;
164    margin: 0;
165    padding: 0;
166    background-color: white;
167}
168
169div#jd-content table.jd-inheritance-table .jd-inheritance-space {
170    width: 10px;
171}
172
173div#jd-content table.jd-inheritance-table .jd-inheritance-interface-cell {
174    padding-left: 17px;
175}
176
177div#jd-content h4.jd-details-title {
178    margin: 0;
179    background-color: #E5F1E0;
180    padding: 2px;
181    padding-left: 10px;
182    padding-right: 10px;
183    margin-top: 15px;
184}
185
186div#jd-content .jd-details {
187    margin-top: 0;
188    margin-left: -10px;
189}
190
191div#jd-content .jd-details-descr {
192    line-height: 120%;
193    padding-left: 10px;
194    padding-top: 10px;
195    padding-right: 20px;
196}
197
198div#jd-content .jd-descr h5,
199div#jd-content .jd-details h5 {
200    font-style: normal;
201    text-decoration: none;
202    font-size: 120%;
203}
204
205div#jd-content .jd-descr {
206    padding-top: 0;
207}
208
209div#jd-content .jd-tagdata {
210    margin-top: 6px;
211    margin-bottom: 6px;
212}
213
214div#jd-content .jd-tagtitle {
215    margin-top: 0px;
216}
217
218div#jd-content .jd-tagtable {
219    margin-top: 10px;
220    border-spacing: 0;
221}
222
223div#jd-content .jd-tagtable th {
224    background: white;
225    padding-left: 10px;
226    padding-right: 10px;
227line-height: 120%;
228}
229
230div#jd-content .jd-tagtable th,
231div#jd-content .jd-tagtable td {
232line-height: 120%;
233    border: none;
234    margin: 0;
235    text-align: left;
236    padding-top: 0px;
237    padding-bottom: 5px;
238}
239
240div#jd-content .Code,code,pre,samp,var {
241    color: #004000;
242}
243
244div#jd-content pre.Code {
245    padding-left: 20px;
246}
247
248/* XXX I would really like to apply font-size: 9pt only if var/samp
249   is NOT inside of a .jd-descr div. */
250div#jd-content .jd-descr code,var,samp {
251    padding-left: 0px;
252}
253
254#search_autocomplete {
255    font-size: 80%;
256}
257
258div#jd-searchbox table.jd-autocomplete-table-hidden {
259    display: none;
260}
261
262div#jd-searchbox table.jd-autocomplete-table-showing {
263    z-index: 10;
264    border: 1px solid #3366cc;
265    position: relative;
266    top: -14px;
267    left: 5px;
268    background-color: white;
269}
270
271div#jd-searchbox td.jd-autocomplete {
272    font-family: Arial, sans-serif;
273    padding-left: 6px;
274    padding-right: 6px;
275    padding-top: 1px;
276    padding-bottom: 1px;
277    font-size: 80%;
278    border: none;
279    margin: 0;
280    line-height: 105%;
281}
282
283div#jd-searchbox td.jd-selected {
284    background-color: #E5F1E0;
285}
286
287div#jd-searchbox td.jd-linktype {
288    color: #999999;
289}
290
291div#jd-content .jd-expando-trigger {
292    margin-left: -8px;
293    margin-right: 0px;
294    border: none;
295}
296
297div#jd-build-id {
298    color: #666;
299    width: 100%;
300    text-align: right;
301    padding-right: 5px;
302    padding-bottom: 3px;
303}
304
305@media print {
306    #jd-searchbox, .jd-nav {
307        display: none;
308    }
309    div#jd-content {
310        margin-top: 0px;
311    }
312}
313
314