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