/**** CSS Mini Reset ****/
html, body, div, form, fieldset, label, legend, h1, h2, h3, h4, h5, h6, p,
ol, ul, li, dl, dt, dd, blockquote {
    margin: 0;
    padding: 0;
}
table {
    border-collapse: collapse;
    border-spacing: 0;
}
th, td {
    text-align: left;
    vertical-align: top;
}
img { border: 0; }

/*****************************************************************************
  Add some reasonable defaults
*****************************************************************************/

.alert { color: #090; }
.code {
    font-family: "Liberation Mono", "DejaVu Sans Mono", Monaco, monospace;
    white-space:pre;
}
.error {
    color: red;
    font-weight: bold;
}
.small { font-size: 0.75em; }
.tiny { font-size: 0.5em; }
.big { font-size: 1.5em; }
.huge { font-size: 2em; }
a {
    color: olivedrab;
    font-weight: bold;
    text-decoration: none;
}
a:visited { color: darkolivegreen; }
blockquote {
    font-style: italic;
    margin: 0.5em 2em 0.5em 2em;
    padding: 0.5em 2em 0.5em 2em;
    text-align: justify;
}
body {
    background: #fff;
    color: #333;
    font-family: "DejaVu Sans", Helvetica, sans-serif;
    font-size: 12pt;
    margin-left: 15%;
    margin-right: 15%;
}
h1, h2, h3, h4, h5, h6 {
    color: #000;
    font-family: "DejaVu Sans", Helvetica, sans-serif;
    font-weight: bold;
    line-height: 1.75;
    margin: 0.25em 0 0 0;
    padding: 0.25em 0 0 0;
}
h1 { font-size: 2em; }
h2 { font-size: 1.75em; }
h3 { font-size: 1.5em; }
h4 { font-size: 1.25em; }
ol {
    list-style: decimal;
    margin: 0.5em 0 0.5em 0;
    padding: 0.5em 0 0.5em 0;
}
li {
    line-height: 1.5em;
    margin-left: 1em;
    padding-left: 1em;
}
dt { font-weight: bold;
    margin-top: 0.25em;
    padding-top: 0.25em;
}
dd {
    text-indent: 3em;
    line-height: 1.5em;
}
dd { line-height: 1.5em; }
p {
    line-height: 1.5em;
    margin: 0.25em 0 0.25em 0;
    padding: 0.25em 0 0.25em 0;
}
pre {
    font-family: Inconsolata,Monaco,Courier,monospace;
    white-space: pre;
}
quote { font-style: italic; }
ul {
    list-style: disc;
    margin: 0.5em 0 0.5em 0;
    padding: 0.5em 0 0.5em 0;
}
a.biggish { font-size: 2.0em; }
p { line-height: 1.5em; }
p.smallish {
    color: #777;
    font-size: 0.75em;
}
hr.smallish {
    background-color: #444;
    border: 0;
    color: #444;
    height: 1px;
    margin: 0 auto 0 0;
    text-align: left;
    width: 10em;
}
code {
    background: #ddd;
    font-family: Inconsolata,monospace;
    line-height: 1.5em;
    white-space: pre;
}
ul.superlist {
    font-size: 1.3em;
    list-style-type: none;
}
ul.sublist {
    font-size: 0.7em;
    list-style-type: none;
}

/*****************************************************************************
  Header and Footer
*****************************************************************************/
a.header {
    font-size: 4.0em;
    font-weight: bold;
    line-height: 2em;
    word-break: break-all;
}
p#copyright { margin: 2em 0em 2em 0em; }