/* section: convention */

div.main {
    background-color: white;
    padding: .5em 0 1em 0;
}

div.main a {
    color: blue;
}
div.main a:hover {
    color: green;
}

div.main h1 {
    font-size: 150%;
    border-bottom: 1px solid #88a;
    margin-top: 0;
}

div.main h2 {
    font-size: 120%;
    border-bottom: 1px dashed #88a;
}

div.main code {
    background-color: #ace;
    border: 1px dashed gray;
    font-family: monospace;
}

div.main pre {
    background-color: #bce;
    border: 1px dashed gray;
    padding: .25em;
}

div.main dd {
    margin-bottom: .5em;
}

/* section: custom */

div.main {
    margin: 0;
    margin-top: 1em;
    padding-left: 100px;
    padding-right: 100px;
}

div.main h1 {
    border: 0;
    color: #336;
}
div.main h2 {
    border: 0;
    color: #55a;
}

/**/