body
  {
  background-color: #111;
  color:            #ddd;
  padding:          0px;
  margin:           0px;
  font-size:        small;
  }

div#title
  {
  background-color: #333;
  border-bottom:    medium double #bbb;
  font:             xx-large papyrus, fantasy;
  color:            #fff;
  }

div#main
  {
  text-align:        left;
  background-color:  #111;
  color:             #aaa;
  text-indent:       20px;
  }

div#TOC
  {
  float:   left;
  padding: 5px;
  margin:  10px;
  border:  medium outset #eee;
  }

ul.TOC
  {
  text-align:          left;
  list-style-position: inside;
  padding:             0px;
  margin:              0px;
  }

ul.TOC > li
  {
  padding:    0px 0px 15px 0px;
  color:      #fff;
  font:       small-caps larger sans-serif;
  }

ul.TOC > li > ul
  {
  text-align:    right;
  list-style:    none;
  padding:       0px;
  font:          italic normal smaller serif;
  }

ul.TOC > li > ul > li > ul
  {
  list-style:    none;
  padding:       0px;
  font-style:    normal;
  font-family:   monospace;
  }

ul.TOC a:visited
  {
  color:    #888;
  }

ul.TOC a:link
  {
  color:    #666;
  }

ul.TOC a:hover
  {
  color:  #aaa;
  }

div#main a:link
  {
  color:    #555;
  text-decoration: none;
  }

div#main a:visited
  {
  color:    #777;
  text-decoration: none;
  }

div#main a:link:hover, div#main a:visited:hover
  {
  text-decoration: underline;
  }

ol, ul
  {
  list-style-position: inside;
  }

dt
  {
  text-indent: 1em;
  font-weight: bold;
  font-variant: small-caps;
  }

dd
  {
  text-indent: 2em;
  margin-bottom: 0.5em;
  }

table
  {
  text-align: left;
  }

table.changelist tr td
  {
  text-indent: 3em;
  }

td.h1
  {
  font-size:     larger;
  font-style:    italic;
  color:         #888;
  border-bottom: thin solid #444;
  }

div.centre
  {
  text-align: center;
  }

div.nav
  {
  display: inline;
  border: thin #555 groove;
  background-color: #444;
  }

a.emote
  {
  text-indent:  10px;
  font-size:    larger;
  font-weight:  bold;
  }

div.tabular
  {
  text-indent:  0px;
  font-family:  monospace;
  display:      table;
  }

div.emType
  {
  color:        red;
  font-style:   italic;
  text-indent:  25px;
  }

div.YouSee
  {
  color:        green;
  text-indent:  40px;
  }

div.VicSee
  {
  color:        purple;
  text-indent:  40px;
  }

div.ObsSee
  {
  color:        #007878;
  text-indent:  40px;
  }

img.ss
  {
  position: float;
  float:  right;
  }