/* This defines styles and classes used in the book */
body { margin: 5%; text-align: justify; font-size: medium; font-family: "Times New Roman", Times, serif;}
code { font-family: monospace; }
h1 { text-align: left; text-decoration: underline; }
h2 { text-align: left; }
h3 { text-align: left; }
h4 { text-align: left; }
h5 { text-align: left; }
h6 { text-align: left; }
table {
    border-collapse: collapse;
}
table, th, td {
    border: 1px solid black;
}
h1.title { }
h2.author { }
h3.date { }
nav#toc ol,
nav#landmarks ol { padding: 0; margin-left: 1em; }
nav#toc ol li,
nav#landmarks ol li { list-style-type: none; margin: 0; padding: 0; }
a.footnote-ref { vertical-align: super; }
em, em em em, em em em em em { font-style: italic;}
em em, em em em em { font-style: normal; }