@import url(http://fonts.googleapis.com/css?family=Droid+Sans|Droid+Sans+Mono|Droid+Serif);

html {
    padding: 0;
}

body {
    font-family: "Droid Serif", "Lucida Grande", "Lucida Sans Unicode", "DejaVu Sans", Verdana, sans-serif;
    font-size: 12pt;
    line-height: 1.3;
    margin: 40pt;
    padding: 0;
}


a {
    text-decoration: none;
}

a:hover,
a:focus {
    text-decoration: underline;
}

.header {
    text-align: center;
    line-height: 0.3;
}

.content {
    padding: .2em;
}

h1 a:visited {
    color: #0000EE;
}

p code, li code {
    padding: 2px 4px;
    font-size: 90%;
    color: #c7254e;
    white-space: nowrap;
    background-color: #f9f2f4;
    border-radius: 4px;
}

pre {
    border: 1px solid #ccc;
    box-shadow: 3px 3px 3px #eee;
    padding: 8pt;
    font-family: monospace;
    overflow: auto;
    margin: 1.2em;
}

#postamble p { font-size: 90%; margin: .2em; }