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