@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; }
#footer-logo { float: left; width: 0; }

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 { margin-top: 0ex; }
H2 { font-size: 10.5pt; font-weight: bold;
     padding: 0pt; margin: 2ex 0pt 1ex 0pt; }
H3 { font-size: 9pt; font-weight: bold;
     padding: 0pt; margin: 1.5ex 0pt 1ex 0pt; }
H4 { font-size: 8pt; font-weight: bold;
     padding: 0pt; margin: 1.5ex 0pt 1ex 0pt; }

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

#sidebar-logo { width: 104px; height: 26px; margin-bottom: 1ex; padding-top: 3px; }

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

#askLicense INPUT { margin-right: 1em; }

/*
  <style type="text/css">
    TD { padding-top: 5px; padding-bottom: 5px; }
    TD.np { padding-top: 0px; padding-bottom: 0px; }
    .hb { font-weight: bold; }
    TABLE.bteac { border-collapse: collapse; border-width: 1px }
    TR.bt { font-weight: normal; border-top: solid; border-width: 1px; border-color: rgb(150,150,150) }
    TD.baccc { font-weight: bold;
          border-bottom: solid; border-width: 2px;
          border-color: rgb(150,150,150);
          text-align: center; }
    TD.padaccex { padding-top: 0px; padding-bottom: 8px; }
    TD.cced {vertical-align: middle }
    A:link.s {font-size: smaller; }
    TABLE.ecc { word-wrap:break-word; table-layout:fixed; }
  </style>
*/

TABLE.builds { border-collapse: collapse; margin-left: 2em; }
TABLE.builds TD { font-size: 9pt; }
TABLE.builds TH { font-size: 9pt; font-weight: bold; text-align: left; }
TABLE.builds SPAN.hash { font-size: 7pt; }

TABLE.builds TD, TABLE.builds TH { padding-left: 2em; }
TABLE.builds TD:first-child, TABLE.builds TH:first-child { padding-left: 0; }
TABLE.builds TH:first-child { text-align: right; }
TABLE.builds TR.build:first-child SPAN.size::after,
  TABLE.builds TR.title:first-child + TR.build SPAN.size::after
  { content: " bytes"; }
TABLE.builds TR.title:first-child TH { padding-top: 0; }
TABLE.builds TR.title TH { padding-top: 1.5ex; }

BODY.release-notes { width: 50em; }
BODY.release-notes H2 { margin-top: 2ex; }
SECTION.build, SECTION.release-note { margin-top: 2ex; }
SECTION.release-note H3 { margin-bottom: 0; }
SECTION.release-note DIV.content { margin-top: 1ex; margin-left: 2em; }

A.anchor:before { content: "\2001#"; }
A.anchor:link, A.anchor:visited { color: #ccc; }
A.anchor[href]:hover { color: #e76f00; }
A.anchor { font-weight: normal; }

.WARNING, .warning { color: #e00; }
.WARNING { font-weight: bold; }