@charset "utf-8";

#content {
    margin: 5em 20% 0 20%;
}

#site-nav {
    position: absolute;
    top: 0;
    left: 0;
    height: 4em;
    width: 100%;
    font-size: smaller;
}

#site-nav h2 {
    display: none;
}

#site-nav ul {
    list-style: none;
}

#site-nav li {
    display: inline;
}

#search {
    position: absolute;
    top: 1em;
    right: 1em;
}

#search p {
    display: inline;
}

#site-aside {
    position: absolute;
    top: 4em;
    right: 1em;
    width: 15%;
    font-size: smaller;
}

#site-aside h2 {
    display: none;
}

#site-aside ul {
    padding-left: 1em;
}

#site-footer {
    font-size: smaller;
    margin-top: 2em;
}

html {
    font-family: "Arial", sans-serif;
    font-size: 12pt;
}

h1, h2, h3, h4, h5, h6 {
    font-family: "Trebuchet MS", sans-serif;
}

p, li, td, pre {
    line-height: 1.4em;
}

pre {
    padding: 0.5em;
    background-color: #efc;
    color: #333;
    border: 1px solid #ac9;
    border-left: none;
    border-right: none;
    overflow: auto;
}

pre code {
    background-color: #efc;
}

code {
    background-color: #ffc;
    font-size: smaller;
}

a img {
    border: none;
}

table {
    margin: 1em 0;
}

blockquote {
    padding-left: 1em;
    border-left: 2px solid #99f;
    margin: 0;
}

abbr, acronym {
    cursor: help;
}

dt {
    font-weight: bold;
}

dt, dd {
    margin-top: 0;
    margin-bottom: 0;
}

a[rel~="tag"] {
    background: transparent url("/media/category.png") no-repeat scroll left bottom;
    padding: 0 0 0 18px;
}

.todo, .todo a {
    color: #aaa;
    background-color: #ddd;
}

.cloud-list {
    -moz-column-width: 15em;
    -webkit-column-width: 15em;
}

math {
    font-family: "DejaVu Sans Serif", serif;
}

mi {
    color: blue;
    font-style: italic;
}

mn {
    color: #f0f;
}

.linenos pre {
    background: none;
    border: none;
    color: #999;
    text-align: right;
    overflow: visible;
    padding: 0;
}

.linenos, .syntax {
    font-size: smaller;
}

.linenos {
    width: 20px;
    padding-right: 5px;
}

.syntaxtable {
    width: 100%;
}

.syntaxtable pre {
    margin: 0;
}

@media print {
    body {
        font-family: "Times New Roman", serif;
    }

    #content {
        margin: 0;
    }

    #site-nav, #site-footer, #site-aside, #search {
        display: none;
    }

    a:link, a:visited {
        color: blue;
    }
}