body {
    font-family: serif;
    font-size: 100%;
    line-height: 140%;
    max-width: 60em;
    margin: auto;
    padding-right: 1em;
    padding-left: 1em;
    color: #333;
	background: white url("/grad.png") repeat-x top left;
}
a {color: #a08941; text-decoration: none;}
a:hover {color: #c6b754; text-decoration: underline;}
/*
a:active {color: #006ffa; text-decoration: none;}
*/

#navigation + h1 { border: none; text-shadow: 0 0 0.2em #aad; }

h1 a, h2 a, h3 a, h4 a, h5 a {
    text-decoration: none;
    color: gray;
}
h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover {
    text-decoration: none;
    color: gray;
}
h1, h2, h3, h4, h5 {
    font-family: sans-serif;
    font-weight: bold;
    border-bottom: 1px dotted black;
    color: gray;
}

/*
h1.title {
    font-size: 200%;
    font-weight: bold;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    text-align: left;
    border: none;
}
*/

h1 {
    font-size: 130%;
}

h2 {
    font-size: 110%;
}

h3 {
    font-size: 95%;
}

h4, h5 {
    font-size: 90%;
    font-style: italic;
}

pre {
    border: 1px dotted gray;
    background-color: #ececec;
    color: #1111111;
    padding: 0.5em;
}
code, pre {
    font-family: monospace;
}

hr { border: none; height: 1px; background-color: #a08941; }

dt code {
        font-weight: bold;
}
dd p {
        margin-top: 0;
}

#navigation {
    margin: 0; padding: 60px 0 0;
    background: transparent url("/guu.png") no-repeat top left;
}
#navigation a:hover { text-decoration: none; }
#navigation ul { margin: 0;
                 border-bottom: 1px solid #a08941;
                 text-align: right;
                 list-style-type: none;
}
#navigation ul li { display: inline;
                    margin-left: 1em;
                    font-weight: bold;
}

#navigation ul li:before { content: "\2605";
                           color: #a08941;
}