<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* ------------------------------
   Less boring stripey style
   ------------------------------ */

body {
  margin: 0;
  padding: 0;
  font-family: "Gill Sans MT", "Gill Sans", GillSans, Arial, Helvetica, sans-serif;
  background: url("background.gif") repeat-y top right;
  color: black;
}

/* ------------------------------
   Header
   ------------------------------ */

#header {
  display: none;
}

#headertext {
  display: none;
}

/* ------------------------------
   Footer
   ------------------------------ */

#footer {
  margin: 0em 2em 2em 1.5em;
  padding-top: 0.5em;
  font-size: 1.3em;
  text-align: left;
}


/* ------------------------------
   Navigation Icons 
   ------------------------------ */

#navigation-previous {
  background: url("left.gif") no-repeat left top;
  margin: 0px;
  padding: 0px;
  position: absolute;
  top: 40px;
  right: 10px;
  width: 32px;
  height: 32px;
}

#navigation-previous:hover {
  background: url("lefthover.gif") no-repeat left top;
}

#navigation-next {
  background: url("right.gif") no-repeat left top;
  margin: 0px;
  padding: 0px;
  position: absolute;
  top: 5px;
  right: 10px;
  width: 32px;
  height: 32px;
}

#navigation-next:hover {
  background: url("righthover.gif") no-repeat left top;
}

#navigation-toc {
  background: url("index.gif") no-repeat left top;
  margin: 0px;
  padding: 0px;
  position: absolute;
  top: 75px;
  right: 10px;
  width: 32px;
  height: 32px;
}

#navigation-toc:hover {
  background: url("indexhover.gif") no-repeat left top;
}

#navigation-switch {
  background: url("style.gif") no-repeat left top;
  margin: 0px;
  padding: 0px;
  position: absolute;
  top: 110px;
  right: 10px;
  width: 32px;
  height: 32px;
}

#navigation-switch:hover {
  background: url("stylehover.gif") no-repeat left top;
}

#navigation span {
  display:none;
}

/* ------------------------------
   Content
   ------------------------------ */

#content {
  font-size: 1.6em;
  padding: 0em 4em 1em 1.5em;
}

h1 {
  font-size: 1.2em;
  color: black;
  padding-bottom: 0.5em;
}

ul {
  color: black;
}

li {
  padding: 0.5em 1em 0.5em 0.5em;
}

a {
  color: #226;
  text-decoration: none;
}

a:hover {
  color: #00A37B;
}

pre {
  padding: 0em 1em 0em 1em;
  font-size: 1.1em;
  font-family: monospace;
  color: black;
}

blockquote {
  padding: 0em 1em 0em 0.5em;
  color: black;
  font-style: italic;
}

code {
  color: #333;
}

strong {
  color: #222;
  font-weight: bold;
}

em {
  color: #222;
  font-weight: bold;
}

/* ------------------------------
   Navigation Icon Source 
   ------------------------------ */

.one {
  stroke: #333;
  stroke-width: 3;
  fill: #E8DDB9;
}

.onehover {
  stroke: #333;
  stroke-width: 3;
  fill: #75CEDD;
}

path.two {
  stroke: #4D5B94;
  stroke-linejoin: round;
  fill: none;
  stroke-width: 4;
  stroke-linecap: round;
}

circle.two {
  stroke: none;
  fill: #4D5B94;
}

rect.two {
  stroke: none;
  fill: #4D5B94;
}

.three {
  fill: #D0C08D;
}

</pre></body></html>