body {margin: 0 5% 0 5%; padding-bottom: 0; background-image: url("chip.jpg")}

p    {margin: 9px 0 9px 0}

b      {font-size: 12pt; color: #931638}
 .min  {font-size: 12pt; color: #007700; font-style: italic; text-decoration: underline}
 .miny {font-size: 11pt; color: #000077; font-weight: bold}

h2     {color: #931638; text-align: center; margin-bottom: 4px}

a:link     {color: #0000aa}
a:visited  {color: #000088}
a:hover    {color: #881133}

.toc    {font-weight: bold; padding: 2px; text-align: center}
.navtop {font-weight: bold; padding: 0px}
.notop  {font-weight: bold; margin-top: 10px; text-align: center}

hr.daydiv  {border: #ffbb00 solid 2px}