th { background: silver; padding: 2 }
td.banner { padding: 0; background: silver; color: black }
td.nav { background: silver; color: black; width: 150px }
td.section { font-size: large; font-weight: bolder }

hr { color: gray }

p.text { text-align: justify }
p.example { margin-left: 3em; margin-right: 3em; text-align: justify }

.first { font-style: italic; font-weight: bold }
.second { font-size: x-large; font-weight: bold; text-decoration: underline }
.third { font-size: large }

.sectop { margin-bottom: 0 }
.top { border: 5px silver outset }
.intro { border: 5px gray double }
.copyright { font-size: 10pt; font-style: italic; text-align: center }