body
{
    background-color:   white;
    color:              black;
    max-width:          8.5in;
}

/* .h1 style applies to the history pages, indicating a change of title and
   mimicking the look of a normal <h1/>.
*/
h1, .h1
{
    background-color:   #369;
    color:              white;
    padding:            2px 8px;

    font:               bold 200% serif;
    letter-spacing:     0.1em;

    margin:             0;
    border-bottom:      2px solid black;
    border-right:       2px solid black;

    text-align:         center;
}

h1 a:link               { color: white; text-decoration: none;      }
h1 a:visited            { color: white; text-decoration: none;      }
h1 a:hover              { color: white; text-decoration: underline; }

h2, .h2
{
    border-bottom:       2px solid #369;
    border-left:        16px solid #369;
    color:              #369;

    font-size:          large;
    font-weight:        bold;
    margin-bottom:      8px;
    padding:            4px;
}

h3, .h3
{
    color:              #369;
    font-size:          large;
    margin-bottom:      0.5em;
}

/* If IE, use a smaller font. */
* html h1, * html .h1   { font-size: 200%; }
* html h2, * html .h2   { font-size: medium;  }
* html h3, * html .h3   { font-size: medium;  }

#content
{
    border-top:         1px solid white;
    border-left:        .5in solid #EEE;

    background-color:   white;
    padding:            .15in .00in .15in .15in;

    font-family:        sans-serif;
}

a:link                  { color: #06C; text-decoration: none;      }
a:visited               { color: #039; text-decoration: none;      }
a:hover                 { color: #0B0; text-decoration: underline; }

a.disabled              { color: #999; text-decoration: none;      }
a.disabled:hover        { color: #999; text-decoration: none;      }

p.error a:link          { color: #C00; text-decoration: underline; }
p.error a:visited       { color: #900; text-decoration: underline; }

p, ul, ol, table, fieldset
{
    margin-top:         0em;
    margin-bottom:      1em;
}

.flush
{
    margin-top:         -1em;
}

th
{
    text-align:         left;
    white-space:        nowrap;
}

td
{
    vertical-align:     top;
}

p.error                 { color: red; }

div.hr
{
    border:             1px inset #CCC;
    background-color:   #EEE;

    height:             2px;
    font-size:          2px;
    margin:             0.15in 1in;
}

/* Source code. */
p.code, p.code-open-bottom, p.code-open-top, p.code-open
{
    margin-left:        0.5in;
    padding-left:       1em;

    border-left:        1px solid #CCC;
    border-right:       1px solid #CCC;
    background-color:   #EEE;
}

p.code, p.code-open-bottom
{
    padding-top:        1em;
    border-top:         1px solid #CCC;
}

p.code, p.code-open-top
{
    padding-bottom:     1em;
    border-bottom:      1px solid #CCC;
}

code
{
    font-family:        monospace;
}

code .keyword
{
    color:              blue;
    font-weight:        bold;
}

code .preprocessor,
code .preprocessor .number,
code .preprocessor .keyword,
code .preprocessor .comment
{
    color:              #088;
}

code .preprocessor .keyword
{
    font-weight:        bold;
}

code .comment,
code .comment .number,
code .comment .keyword,
code .comment .preprocessor
code .comment .php-variable,
code .comment .php-directive
{
    color:              #080;
    font-style:         italic;
    font-weight:        normal;
}

code .number
{
    color:              #C0C;
}

code .php-variable,
code .php-variable .number
{
    color:              #088;
}

code .php-directive
{
    color:              #F80;
}

/* Highlight changed text. */
span.changed
{
    background:         #FFC;
}

#extra, #navigation
{
    margin:             0;

    font-family:        serif;
    font-weight:        bold;
    text-transform:     lowercase;
}

#navigation
{
    margin-left:        .65in;

    display:            inline;
    float:              left;
}

#extra
{
    border-left:        .5in solid #EEE;
    background:         #EEE;
    padding-left:       .15in;
    padding-right:      .05in;

    text-align:         right;
}