/* general style */

body {
    font: 18px/25px Georgia, Palatino, serif;
    margin: 0;
    padding: 0;
}

a {
    color: #234764;
}

a:hover {
    color: #3b185f;
    background: #f9f8fa;
    -moz-border-radius-bottomleft: 10px;
    -webkit-border-bottom-left-radius: 10px;
    -moz-border-radius-bottomright: 10px;
    -webkit-border-bottom-right-radius: 10px;
    -moz-border-radius-topleft: 10px;
    -webkit-border-top-left-radius: 10px;
    -moz-border-radius-topright: 10px;
    -webkit-border-top-right-radius: 10px;
}

/* headlines */

h1, h2, h3, h4, h5, h6 {
    font-weight: 400;
    color: #222;
}

h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    text-decoration: none;
}

h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover {
    color: #432165;
    text-decoration: underline;
}

h1.title {
    width: 560px;
}

h1, h2 {
    margin: 10px 0 25px 0;
}

h1 {
    font-size: 36px;
    line-height: 38px;
}

h2 {
    font-size: 27px;
    line-height: 29px;
}

/* layout elements */

div.container {
    width: 740px;
    margin: 15px auto;
    padding: 0;
}

div.banner {
    width: 740px;
    text-align: left;
    margin: 30px auto 30px;
    font-size: 46px;
    font-weight: 700;
    color: #000;
}

div.banner a {
    text-decoration: none;
    color: #000;
    background: 0 0;
}

div.banner a:hover {
    text-decoration: none;
    color: #000;
    background: 0 0;
}

div.separator {
    border-bottom: 1px dotted #ddd;
    padding-bottom: 42px;
    margin-bottom: 20px;
    font-size: 16px;
    color: #888;
    text-align: center;
}

div.body {
    clear: both;
    line-height: 1.5em;
}

div.footer {
    border-top: 1px dotted #ddd;
    padding-top: 9px;
    margin-top: 42px;
    color: #888;
    font-size: 16px;
    text-align: center;
}

div.footer a {
    color: #888;
}

div.footer p {
    margin: 0;
}

/* margins and stuff */

p, ul {
    margin: 25px 0 25px 0;
}

ul ul {
    margin: 10px 0;
    padding: 0 0 0 40px;
}

li {
    padding: 0;
}

/* code formatting. */

code {
    font-family: monospace,monospace;
    font-size: 0.84em;
    background-color: #f0f0f0;
}