/* Style sheet for FGC's documentation.
 * Thanks, W3C!
 * font info (for my poor brain):
 * style variant weight size/lineheight family
 * style=normal|italic|oblique
 * variant=normal|small-caps
 * weight=normal|bolder|lighter|100|200|300|400|500|600|700|800|900
 * size=xx-small|x-small|small|medium|large|x-large|xx-large|larger|smaller|
 *      <percentage>|<length>
 *      length may have a factor appended like "em" or "pt".
 * family=serif|sans-serif|cursive|fantasy|monospace,<name>
 *
 */

body {
    font: normal normal 16px sans-serif;
    color: black;
    background-color: #f8f8f8;
}

h1, h2, h3 {
    background-color: #BFBFFF;
    width: 100%;
}

h1 {
    font: normal normal lighter 32px sans-serif;
    text-align: center;
}

h2 {
    font: normal normal lighter 24px sans-serif;
}

h3 {
    font: normal normal lighter 20px sans-serif;
}

h4 {
    font: bold normal 20px sans-serif;
    margin-top: 0.7em; margin-bottom: 0.3em;
}

h5 {
    font: oblique normal lighter 20px sans-serif;
    margin-top: 0.7em; margin-bottom: 0.3em;
}

h6 {
    font: bold normal 16px sans-serif;
    margin-top: 0.7em; margin-bottom: 0.3em;
}

ul, ol {
    margin-top: 0.3em; margin-bottom: 0.6em;
}

dl {
    margin-top: 0.5em; margin-bottom: 0.6em;
}

dt {
    margin-top: 0.3em;
}

.navbar {
    font: normal normal lighter 10px sans-serif;
    width: 100%;
}

div.greeting {
    font: normal normal lighter 24px serif;
    width: 100%;
    text-align: center;
}

em, var {
    font: 100% italic;
}