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

body {
    position: relative;
    margin: 0 0.5in 1in;
}

#toc {
    position: absolute;
    left: 0; width: 15em;
}
#toc ul {
    list-style-type: none;
    padding-left: 1em;
    margin-left: 0;
    color: darkblue;
}

#toc a {
    color: darkblue;
    background: white;
}

#toc a:hover {
    color: white;
    background: gray;
}

#main {
    position: absolute;
    left: 15em; right: 0;
}

#main li {
    margin-bottom: 0.3em;
}

#main blockquote {
    margin: 0 4em 0.3em;
}

p.acknowledgement {
    font-size: smaller;
}

table {
    border-collapse: collapse;
    border: solid thin silver;
}
th, td {
    border: solid thin silver;
    min-width: 7em;
    padding: 0.2em 0.4em;
}

a {
    text-decoration: none;
}

code em {
    font-family: serif;
}