.toc {font-weight: bold; text-decoration: underline; color: blue;}
.navbar {background-color: darkgray; font-weight: bold; font-style: italic;}
.section {font-weight: bold; font-size: 117%;}
td {font-family: Arial, Helvetica, Sans-Serif;}
body {background-color: white; font-family: Arial, Helvetica, Sans-Serif;}
.banner {font-weight: bold; background-color: darkgray; text-align: right;}
:visited {color: purple;}
.title {font-size: 117%; font-weight: bold;}
.fineprint {font-style: italic; font-size: 80%; text-align: right;}