<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body
{
  font-family: Gill Sans, Arial, Helvetica, sans-serif;
  font-size: small;
  color: #003366;
  font-weight: bold;
  margin: 10px;
}

H1 { font-size: large; }
H2 { font-size: medium; }

IMG {  border-color: white; }

CODE { color: white; }

A { text-decoration: none; }
A:link    { color: white; }
A:visited { color: #eeeeee }
A:hover   { text-decoration: underline }

div#all
{
  max-width: 900px;
}

div#menu
{
  font-size: medium;
  float: right;
  width: 10em;
  margin: 0 0 20px 20px;
}

div#main
{
  margin: 0;
}

.MenuHeader
{
 font-family: Arial, Helvetica, sans-serif;
 font-size: medium;
 font-weight: bold;
 white-space: nowrap;
 margin: 12px 0px 8px;
 color: white;
 text-align: center;
}

.MenuLevel1
{
 font-family: Arial, Helvetica, sans-serif;
 font-size: x-small;
 font-weight: bold;
 white-space: nowrap;
 margin: 10px 0px 0px;
 color: white;
}

.MenuLevel2
{
 font-family: Arial, Helvetica, sans-serif;
 font-size: xx-small;
 font-weight: bold;
 white-space: nowrap;
 margin: 10px 0px 0px 15px;
 color: white;
}

.Heading
{
 font-family: Comic Sans MS, Arial, Helvetica, sans-serif;
 font-size: large;
 font-weight: bold;
 margin-top: 0;
}

.DetailHeading
{
 font-family: Comic Sans MS, Arial, Helvetica, sans-serif;
 font-size: medium;
 font-weight: normal;
 color: white;
}

.PopupPictureTitle
{
 font-family: Comic Sans MS, Arial, Helvetica, sans-serif;
 font-size: small;
 font-weight: normal;
 color: white;
}

.SmallLink
{
 font-family: Verdana, Arial, Helvetica, sans-serif;
 font-size: xx-small;
 font-weight: bold;
 color: white;
}

.DetailText
{
 font-family: Verdana, Arial, Helvetica, sans-serif;
 font-size: small;
}

.ExtraInfo
{
 color: white;
}

.IntroText
{
 color: white;
 margin-top: 0;
 font-size: x-small;
}

.Display
{
 font-family: Comic Sans MS, Arial, Helvetica, sans-serif;
 font-size: x-large;
 font-weight: bold;
 color: white;
}

.BG
{
 background-color: #FF9900;

/*
Alternative may be #FF9933
Originally was #FFCC33
*/
}

div.picbox
{
  position: relative;
  left: 0px;
  top: 0px;
  margin: 0;
  padding: 0;
  z-index: 2;
}

img.clipped
{
  position: absolute;
  left: 0px;
  top: 0px;
  margin: 0;
  z-index: 2;
}

img.clipper
{
  position: absolute;
  top: 0px;
  left: 0px;
  z-index: 3;
  margin: 0;
}</pre></body></html>