/* Overall style sheet. */

/* body: style for the whole thing */

body                {font-family: Tahoma, Arial, Helvetica, sans-serif;
                     background-color: #ffffcc;}

/* h1 is only used as the first heading on a page - give it a bit of extra space above it */

h1                  {margin-top: 20px;
                     text-align: center;}

/* h3 is used as a main sub-heading */

h3                  {text-align: left;}

/* h4 is used as an indented sub-heading */

h4                  {text-align: left;
                     margin-left: 50px;
                     margin-bottom: 0px;}

/* netscape doesn't apply the body font within table cells so set it separately */

td                  {font-family: Tahoma, Arial, Helvetica, sans-serif;}

/* frameside is the left-hand bar containing the menu */

.frameside          {background-color: #ffcc99;
                     width: 130px;}

/* frametop is the top bar */

.frametop           {background-color: #ff9966;}

/* mainheader is the site-wide standard title */

.mainheader         {margin-left:10pt;}

/* menulink is a link on the menu. The idea is that each item will have a fixed size and will
   change background colour when the mouse hovers over it. However, the full effect doesn't
   work in all browsers. (Ideally, each item would get a border on hover but netscape 4.5
   won't treat it as a link if it has a border!) */


a.menulink          {width: 120px;
                     margin-left: 3px;
                     margin-top: 3px;
                     margin-bottom: 3pt;
                     padding-left: 5px;
                     font-family: Tahoma, Arial, Helvetica, sans-serif;
                     font-size: 12pt;
                     font-weight: normal;
                     text-decoration: none;
                     color: black;}

a.menulink:hover    {color: black;
                     background-color: #ff9966;}

/* illustration is a picture embedded within text */

.illustration       {margin-left: 5pt;
                     margin-right: 10pt;}

/* indent is used to provide indented paragraphs. The indentation is intended to line up with h4 headings. */

.indent             {margin-left: 50px;}