/* Global stuff */
html, body {
    background: white;
    color: black;
    font-family: "Verdana", sans-serif;
    line-height: 180%;
}

pre code, blockquote {
    display: block;
    margin: 1em 0em 1em 0em;
    padding: 3px;
    padding-left: 3em;
    border-left: thick solid gray;
    overflow: auto;
}
blockquote {
    padding-top: 2pt;
    padding-bottom: 2pt;
}
blockquote p:first-child {
    margin-top: 0;
}

hr {
    height: 0;
    border: none; border-top: thin solid orange;
}

h1, h2, h3, h4, h5, h6 {
    font-family: "Georgia", serif;
    line-height: 100%;
}
h1 {
    font-size: 300%;
    text-align: center;
}
h2 { font-size: 200%; }
h3 { font-size: 150%; }

h1 a,
h2 a,
h3 a { text-decoration: none; }
h1 a:hover,
h2 a:hover,
h3 a:hover { text-decoration: underline; }
h1 a:visited,
h2 a:visited,
h3 a:hover { color: black; }

a:link {
    background: white;
    color: black;
}
a:visited {
    background: white;
    color: #777777;
}
a img {
    border: none;
}

/* Specific class styles */
div.update {
    margin-left: 2em;
    margin-right: 2em;
}

.left { float: left; }
.right { float: right; }
.padded {
    padding: .5em;
}
.big {
    font-size: 150%;
}
.small-caps {
    font-family: "Georgia", serif;
    font-variant: small-caps;
}
.silent {
    color: gray;
}

/* Specific element styles */
#bodywidth {
    width: 45em;
    max-width: 100%;
    margin-left: auto;
    margin-right: auto;
}
#container {
    width: 100%;
}
#meta {
    line-height: 130%;
    font-variant: small-caps;
    padding: 0 1em 0 1em;
}

#recent-posts h1 {
    text-align: left;
    font-size: 250%;
}

/* Page-specific styles */
#tilde hr {
    clear: right;
    margin-top: .75em;
}
#tilde h1 {
    float: right;
    margin: 0;
}
#tilde #content {
    line-height: 140%;
}