@import url("highlight.css");

body {
    margin: 0;
    font-family: Arial, helvetica, sans-serif;
    font-size: 76%;
    background-color: white;
    color: black;
}

h1 {
    font-size: 1.73em;
    font-weight: normal;
    border-bottom: 2px solid #186b19;
    margin-bottom: 0;
    padding-bottom: 0.1em;
    color: #222;
}

h1 a:link, h1 a:visited, h1 a:active, h2 a:link, h2 a:visited, h2 a:active {
    border-bottom: none;
    color: black;
}

h2 {
    font-size: 1.5em;
    font-weight: normal;
    color: #222;
}

#navbar {
    float: left;
    width: 100px;
}

#navbar ul {
    margin: -6px 0 -1px 0;
    padding: 0;
    list-style: none;
    text-align: center;
}

#navbar ul li {
    background: url(/images/button.png);
    height: 28px;
    line-height: 28px;
}

#navbar ul li a {
    text-decoration: none;
    color: white;
}

#content {
    padding: 2.5em;
    margin-left: 100px;
    max-width: 50em;
    font-size: 1.15em;
    color: #404040;
}

#content p, #content ul {
    line-height: 1.3em;
}

#heading {
    text-align: center;
}

#content .date {
    margin-top: 0.3em;
    padding: 0;
    font-size: 0.94em;
    color: #6b6b6b;
}

#footer {
    color: #6b6b6b;
    padding: 0.25em;
    text-align: center;
}

a:link, a:visited, a:active {
    color: #186b19;
    text-decoration: none;
    border-bottom: 1px dotted #186b19;
}

pre,tt {
    font-family: "Bitstream Vera Sans Mono", "lucida console", "Courier New", courier, monospace;
    font-size: 10pt;
}

.highlight {
    border:1px solid black;
    padding-left:1ex;
    padding-right:1ex;
    background:#eee;
}