BODY { margin: 2em 2em;
       font-family: Bitstream Vera Sans, Luxi Sans, Verdana, Arial, Helvetica;
       font-size: 10pt; line-height: 1.2; }

PRE, CODE { font-family: 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: 12.5pt; font-weight: bold;
     padding: 0pt; margin: 2ex .5ex 1ex 0pt; }
H1:first-child, H2:first-child { margin-top: 0ex; }
H2 { font-size: 10pt; font-weight: bold;
     padding: 0pt; margin: 1.5ex 0pt 1ex 0pt; }
H3 { font-size: 9pt; font-weight: bold;
     padding: 0pt; margin: 1ex 0pt 1ex 0pt; }
H4 { font-size: 8pt; 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; }
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 1.5em; padding: 1ex .5em; }

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; }

/*
     FILE ARCHIVED ON 18:04:09 Apr 24, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 08:33:33 Aug 28, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.508
  exclusion.robots: 0.024
  exclusion.robots.policy: 0.015
  esindex: 0.009
  cdx.remote: 4.738
  LoadShardBlock: 824.478 (3)
  PetaboxLoader3.resolve: 231.277 (4)
  PetaboxLoader3.datanode: 354.353 (5)
  load_resource: 437.912 (2)
*/