* {
    box-sizing: border-box;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    -ms-box-sizing: border-box;
}

body {
    position: relative;
    margin: 0.25in 0.75in 1in;
    font-family: sans-serif;
}

h1 {
    padding: 0.3em;
    margin: 2px 0;
    color: white;
    background: darkblue;
}

pre {
    margin-left: 2em;
}

code em, code strong {
    font-family: serif;
}

dl.inline > dt {
    display: run-in;
    font-weight: bold;
}

dl.inline > dd {
    margin-bottom: 1em;
    margin-left: 2em;
    text-indent: -2em;
}
dl.inline > dd + dd {
    text-indent: 0em;
}

#toc ul {
    min-height: 1.8em;
    list-style-type: none;
    padding: 0.3em 0;
    margin: 0;
    color: gray;
    background: darkblue;
}

#toc ul li {
    display: inline;
    margin: 1em;
}

#toc a {
    color: white;
}

#toc a:hover {
    background: gray;
}

#main {
    margin: 0 1em;
}

a {
    text-decoration: none;
}

p.acknowledgement {
    font-size: smaller;
}