html {
    height:100%;
    margin:0;
    padding:0;
    overflow:hidden;
}

body {
    box-sizing:border-box;
    -webkit-box-sizing:border-box;
    font-size:10pt;
    font-family:"Georgia";
    height:100%;
    padding-top:2em;
    margin:0;
    overflow:auto;
}

code {
    font-family:"Lucida Grande", "Lucida Sans Unicode", "Consolas", monospace;
    display:block;
    margin:1em 0;
    padding:1em;
    border-left:2px solid #ddd;
    background:#f5f5f5;
}

.content {
    max-width:730px;
    padding:0 2em;
    position:relative;
    margin:0 auto 3em auto;
}

.toolbar {
    float:right;
    margin-bottom:1em;
}

.toolbar a {
    margin-right:1em;
}
.toolbar a:last-child {
    margin:0;
}

h1 {
    margin:0;
}

a[href] {
    font-size:8pt;
    color:#222;
    text-decoration:none;
}

a[href].inline {
    font-size:1em;
    font-weight:bold;
}

a[href]:hover {
    text-decoration:underline;
}