/*
 * jbn's stylesheet
 * Author: J.B. Nicholson-Owens
 */

/*
* {
    font-family: Palatino, Georgia, Times, "Times New Roman", serif;
}
*/

body {
    margin: 0;
}

html {
    background: white;
    color: black;
}

h1, h2.article {
/*
 * If you uncomment this, the W3C checker will not parse this stylesheet
 * correctly.  Someday border-radius: or some work-alike will work when
 * CSS3 is finalized.  But it's fun to play with, hence
 * -moz-border-radius (which is approximate enough to fiddle with and
 * have fun).
 */
/*    -moz-border-radius: 0.5em; */
/*    border-radius: 0.5em; */
    padding: 0.5em;
    background: silver;
    color: black;
}

/* Waiting for CSS3 */
/*
div.article:first-of-type {
    border-top: double solid black;
}
*/

div.article {
    margin-top: 3em;
}

.logo {
    margin: 0.25em;
    text-align: center;
    border: thick solid #7A7ACC;
    font-family: Georgia, Palatino, Times, "Times New Roman", serif;
}

.verbatim-license {
    text-align: center;
    font-style: italic;
    margin-left: 2em;
    margin-right: 2em;
}

li+li {
    margin-top: 0.25em;
}

blockquote {
    font-style: italic;
}

div.content {
    margin: 1em 1.5em;
}

.validation {
    border-top: medium groove gray;
    margin: 2em 0 .5em;
    padding: 1em;
}

.validation .contact-info {
     float: left;
     width: 75%;
     margin-bottom: .5em;
}

.validation .validators {
    float: right;
    width: 88px;
}

.headers {
   font-family: Courier, "Courier New", monospace;
}

.editors-note {
    font-style: italic;
}