Home | History | Annotate | Download | only in assets 
      1 .jd-toptitle {
      2     padding-left: 6px;
      3     margin-bottom: 30px;
      4     font-size: 160%;
      5     font-weight: bold;
      6 }
      7 
      8 div#jd-content table {
      9     border: none;
     10 }
     11 
     12 div#jd-content td, div#jd-content th {
     13     font-size: small;
     14 }
     15 
     16 div#jd-content table.jd-linktable {
     17     margin-top: 3px;
     18     border-spacing: 0;
     19 }
     20 
     21 div#jd-content p.jd-deprecated-warning {
     22     margin-top: 0;
     23     margin-bottom: 10px;
     24 }
     25 
     26 div#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 
     38 div#jd-content table.jd-linktable td {
     39     border: none;
     40 }
     41 
     42 div#jd-content table.jd-linktable td  p {
     43     padding: 0;
     44     margin: 0;
     45     line-height: 110%;
     46 }
     47 
     48 div#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 
     59 div#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 
     70 div#jd-content table.jd-linktable .jd-descrcol p {
     71     padding: 0;
     72     margin: 0;
     73     line-height: 110%;
     74 }
     75 
     76 div#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 
     87 div#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 
     97 div#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 
    106 div#jd-content .jd-page_title-prefix {
    107     padding-top: 2em;
    108     margin-bottom: -14pt;
    109 }
    110 
    111 div#jd-content {
    112     margin-left: 0;
    113     margin-right: 10px;
    114     margin-bottom: 0;
    115 }
    116 
    117 div#jd-content h1 {
    118     padding-left: 10px;
    119 }
    120 
    121 div#jd-content h2 {
    122     padding-left: 10px;
    123 }
    124 
    125 div#jd-content h4 {
    126     margin-top: 9px;
    127     margin-bottom: 1px;
    128 }
    129 
    130 div#jd-content .jd-descr h5 {
    131     margin-bottom: 8px;
    132 }
    133 
    134 div#jd-content .sidebox h3 {
    135     margin: 1em 0 0 0;
    136 }
    137 
    138 div#jd-content .jd-letterlist {
    139     margin-top: 20px;
    140     margin-bottom: 0;
    141 }
    142 
    143 div#jd-content .jd-lettertable {
    144     margin-top: 15px;
    145     margin-right: 10px;
    146 }
    147 div#jd-content .jd-letterentries {
    148 	list-style: none;
    149 	margin-left: 0;
    150 }
    151 div#jd-content .jd-letterentrycomments {
    152     color: gray;
    153 }
    154 
    155 div#jd-content table.jd-inheritance-table {
    156     margin-top: 0;
    157     margin-left: 10px;
    158     margin-right: 10px;
    159     border-spacing: 0;
    160 }
    161 
    162 div#jd-content table.jd-inheritance-table td {
    163     border: none;
    164     margin: 0;
    165     padding: 0;
    166     background-color: white;
    167 }
    168 
    169 div#jd-content table.jd-inheritance-table .jd-inheritance-space {
    170     width: 10px;
    171 }
    172 
    173 div#jd-content table.jd-inheritance-table .jd-inheritance-interface-cell {
    174     padding-left: 17px;
    175 }
    176 
    177 div#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 
    186 div#jd-content .jd-details {
    187     margin-top: 0;
    188     margin-left: -10px;
    189 }
    190 
    191 div#jd-content .jd-details-descr {
    192     line-height: 120%;
    193     padding-left: 10px;
    194     padding-top: 10px;
    195     padding-right: 20px;
    196 }
    197 
    198 div#jd-content .jd-descr h5,
    199 div#jd-content .jd-details h5 {
    200     font-style: normal;
    201     text-decoration: none;
    202     font-size: 120%;
    203 }
    204 
    205 div#jd-content .jd-more {
    206 }
    207 
    208 div#jd-content .jd-descr {
    209     padding-top: 0;
    210 }
    211 
    212 div#jd-content .jd-tagdata {
    213     margin-top: 6px;
    214     margin-bottom: 6px;
    215 }
    216 
    217 div#jd-content .jd-tagtitle {
    218     margin-top: 0px;
    219 }
    220 
    221 div#jd-content .jd-tagtable {
    222     margin-top: 10px;
    223     border-spacing: 0;
    224 }
    225 
    226 div#jd-content .jd-tagtable th {
    227     background: white;
    228     padding-left: 10px;
    229     padding-right: 10px;
    230 line-height: 120%;
    231 }
    232 
    233 div#jd-content .jd-tagtable th,
    234 div#jd-content .jd-tagtable td {
    235 line-height: 120%;
    236     border: none;
    237     margin: 0;
    238     text-align: left;
    239     padding-top: 0px;
    240     padding-bottom: 5px;
    241 }
    242 
    243 div#jd-content .Code,code,pre,samp,var {
    244     color: #004000;
    245 }
    246 
    247 div#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. */
    253 div#jd-content .jd-descr code,var,samp {
    254     padding-left: 0px;
    255 }
    256 
    257 #search_autocomplete {
    258     font-size: 80%;
    259 }
    260 
    261 div#jd-searchbox table.jd-autocomplete-table-hidden {
    262     display: none;
    263 }
    264 
    265 div#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 
    274 div#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 
    286 div#jd-searchbox td.jd-selected {
    287     background-color: #E5F1E0;
    288 }
    289 
    290 div#jd-searchbox td.jd-linktype {
    291     color: #999999;
    292 }
    293 
    294 div#jd-content .jd-expando-trigger {
    295     margin-left: -8px;
    296     margin-right: 0px;
    297     border: none;
    298 }
    299 
    300 div#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