<!-- Margins shift the body around the graphic and give headings an out-dented appearance -->h1   { margin-left: -20; }h2   { margin-left: -10; }h3   { 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 }td   { font-family: Arial, sans-serif; font-size: small }th   { font-family: Arial, sans-serif; font-size: small background:"c0c0c0"}pre  { font-size: x-small; 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; }

