<!-- Margins shift the body around the graphic and give headings an out-dented appearance -->
h1   { font-family: Arial, sans-serif;}
h1   { font-family: Arial, sans-serif; margin-left: -20; }
h2   { font-family: Arial, sans-serif; margin-left: -10; }
h3   { font-family: Arial, sans-serif; margin-left:  +0; }
h4   { font-family: Arial, sans-serif; margin-left:  +0; }
body { margin-left:  80; }
body { body bgcolor:"#FFFFFF"; background-image:url("Images/border.jpg") }

<!-- Special formatting for page heading.  Puts a box around a table -->
table.banner { border-color:navy; border-style:solid; border-width:thin;
               padding-left:10; padding-right:5; textdecoration: none}

<!-- Similar box style for tables -->
table.boxy   { border-color:navy; border-style:solid; padding-left:10; border-width:thin; }
td.boxy { padding-left:10; padding-right:10; padding-top:5; padding-bottom:5}

<!-- Anchors in the menu bar -->
a.bar:link    { text-decoration: none; color: white;  font-family: arial }
a.bar:visited { text-decoration: none; color: white;  font-family: arial }
a.bar:active  { text-decoration: none; color: white;  font-family: arial }
a.bar:hover   { text-decoration: none; color: yellow; font-family: arial }

<!-- Fonts for various areas -->
body { font-family: Arial, sans-serif; font-size: small }
p    { font-family: Arial, sans-serif; font-size: small }
li   { font-family: Arial, sans-serif; font-size: small }
td   { font-family: Arial, sans-serif; font-size: small; padding-left: 5}
th   { font-family: Arial, sans-serif; font-size: small; background:"c0c0c0"}
pre  { background: ffffcc }
code { background: ffffcc }

<!-- Minimize vertical spacing. Used on index page only. -->
h2.tight { margin-bottom:  0em; }
h3.tight { margin-bottom: -1em; }
ul.tight { margin-bottom: -1em; }