style.css revision 920dbbbaca6aa578f3b26d89e99d12754c26ed60 
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-more {
206}
207
208div#jd-content .jd-descr {
209    padding-top: 0;
210}
211
212div#jd-content .jd-tagdata {
213    margin-top: 6px;
214    margin-bottom: 6px;
215}
216
217div#jd-content .jd-tagtitle {
218    margin-top: 0px;
219}
220
221div#jd-content .jd-tagtable {
222    margin-top: 10px;
223    border-spacing: 0;
224}
225
226div#jd-content .jd-tagtable th {
227    background: white;
228    padding-left: 10px;
229    padding-right: 10px;
230line-height: 120%;
231}
232
233div#jd-content .jd-tagtable th,
234div#jd-content .jd-tagtable td {
235line-height: 120%;
236    border: none;
237    margin: 0;
238    text-align: left;
239    padding-top: 0px;
240    padding-bottom: 5px;
241}
242
243div#jd-content .Code,code,pre,samp,var {
244    color: #004000;
245}
246
247div#jd-content pre.Code {
248    padding-left: 20px;
249}
250
251/* XXX I would really like to apply font-size: 9pt only if var/samp
252   is NOT inside of a .jd-descr div. */
253div#jd-content .jd-descr code,var,samp {
254    padding-left: 0px;
255}
256
257#search_autocomplete {
258    font-size: 80%;
259}
260
261div#jd-searchbox table.jd-autocomplete-table-hidden {
262    display: none;
263}
264
265div#jd-searchbox table.jd-autocomplete-table-showing {
266    z-index: 10;
267    border: 1px solid #3366cc;
268    position: relative;
269    top: -14px;
270    left: 5px;
271    background-color: white;
272}
273
274div#jd-searchbox td.jd-autocomplete {
275    font-family: Arial, sans-serif;
276    padding-left: 6px;
277    padding-right: 6px;
278    padding-top: 1px;
279    padding-bottom: 1px;
280    font-size: 80%;
281    border: none;
282    margin: 0;
283    line-height: 105%;
284}
285
286div#jd-searchbox td.jd-selected {
287    background-color: #E5F1E0;
288}
289
290div#jd-searchbox td.jd-linktype {
291    color: #999999;
292}
293
294div#jd-content .jd-expando-trigger {
295    margin-left: -8px;
296    margin-right: 0px;
297    border: none;
298}
299
300div#jd-build-id {
301    color: #666;
302    width: 100%;
303    text-align: right;
304    padding-right: 5px;
305    padding-bottom: 3px;
306}
307
308@media print {
309    #jd-searchbox, .jd-nav {
310        display: none;
311    }
312    div#jd-content {
313        margin-top: 0px;
314    }
315}
316
317