@import url('.fonts/dejavu.css'); BODY { margin: 2em 2em; font-family: DejaVu Sans, Bitstream Vera Sans, Luxi Sans, Verdana, Arial, Helvetica; font-size: 10pt; line-height: 1.4; } PRE, CODE, TT { font-family: DejaVu Sans Mono, Bitstream Vera Sans Mono, Luxi Mono, Courier New, monospace; } PRE { font-size: smaller; } A { text-decoration: none; } A:link { color: #437291; } A:visited { color: #666666; } A[href]:hover { color: #e76f00; } A IMG { border-width: 0px; } IMG { background: white; } BODY { width: 54em; } #main { width: 42em; padding-right: 2em; } #sidebar { font-size: 7pt; width: 11em; padding-right: 2em; margin-left: 0em; } #footer { padding-top: 4em; text-align: center; font-size: 7pt; } #main { float: right; } #footer { clear: both; } DIV.links, DIV.buttons, DIV.about { padding-top: .5ex; padding-right: 0em; line-height: 1.3; } DIV.links DIV.link { margin-left: 1em; text-indent: -1em; } DIV.about { font-weight: bold; color: #555; } DIV.buttons IMG { display: block; padding-top: 1.5ex; } #footer, #footer A, #footer A:link, #footer A:visited, DIV.links { color: #888; } P { padding: 0pt; margin: 1ex 0em; } P:first-child, PRE:first-child { margin-top: 0pt; } H1 { font-size: 13pt; font-weight: bold; padding: 0pt; margin: 2ex .5ex 1ex 0pt; } H1:first-child, H2:first-child { margin-top: 0ex; } H2 { font-size: 11pt; font-weight: bold; padding: 0pt; margin: 2ex 0pt 1ex 0pt; } H3 { font-size: 10pt; font-weight: bold; font-style: italic; padding: 0pt; margin: 1ex 0pt 1ex 0pt; } H4 { font-size: 9pt; font-weight: bold; padding: 0pt; margin: 1ex 0pt 1ex 0pt; } IMG.openjdk-logo { padding-top: 25px; margin-top: 1em; margin-bottom: 1em; } UL, OL { margin-top: 1ex; margin-bottom: 1ex; margin-right: 2em; } UL { padding-left: 2em; list-style-type: square; } UL UL { margin-top: 0ex; margin-bottom: 0ex; } LI { margin-top: 0pt; margin-bottom: 0pt; } LI > P:first-child { margin-top: 1ex; } UL.spread > LI, OL.spread > LI { margin-top: 1ex; margin-bottom: 1ex; } UL.spread > LI > UL > LI:first-child { margin-top: 1ex; } #openjdk-sidebar-logo { width: 91px; height: 25px; margin-bottom: 1ex; } DIV.orange-box { border: 2px solid #e76f00; margin: 2ex 1em; padding: 1ex 1em 0 1em; } INPUT#searchBox { border: 1px solid gray; padding-left: 1px; padding-right: 1px; font-family: monospace; font-size: 7pt; } DIV.search { padding: .5ex 0ex 1ex 0ex; } BLOCKQUOTE { margin: 1.5ex 0em 1.5ex 2em; } DIV.last-update { font-size: 8pt; margin-top: 4ex; text-align: right; } TABLE.risk-matrix { width: auto; overflow: visible; margin-left: 2em; } TABLE.risk-matrix TH, TABLE.risk-matrix TD { padding-left: 2em; } TABLE.risk-matrix TH { text-align: left; } TABLE.risk-matrix TD { text-align: center; vertical-align: baseline; } TABLE.risk-matrix TD:nth-child(1), TABLE.risk-matrix TD:nth-child(2) { text-align: left; } TABLE.risk-matrix TH:first-child, TABLE.risk-matrix TD:first-child { padding-left: 0; }