body
  margin: 0px;
  font-family: Sans, sans-serif;
  font-size: 15
  background-color: #AAAAAA;

h1#header
  display: block;
  border-bottom: 1px solid navy;
  margin-bottom: 0px;
  margin-top: 0px;

h1#header:before
  content: '#{pref}';
  color: #777777;

div#leftnav
  display: block;
  float: left;
  width: 4cm;

ul.leftnav
  display: block;
  width: 4cm;
  list-style: none;
  margin-left: 0.5cm;
  margin-top: 0.5cm;
  padding-left: 0px;
  padding-bottom: 2px;
  background-color: white;
  border: 1px solid navy;

ul.leftnav li
  display: block;
  padding-left: 5px;
  padding-top: 5px;

ul.leftnav li a
  color: black;
  text-decoration: none;

ul.leftnav li a:hover
  text-decoration: underline;

ul.leftnav:before
  content: attr(title);
  display: block;
  background-color: navy;
  color: white;
  padding-left: 4px;
  padding-top: 4px;

div#content
  display: block;
  margin-left: 5cm;
  margin-right: 0.5cm;
  margin-top: 0.5cm;

div.content
  border: 1px solid navy;
  background-color: white;

div.sourceContent
  border: none;
  background-color: #AAAAAA;
  
div.hint
  border: 1px solid green;
  background-color: #99FF99;

div.error
  border: 1px solid maroon;
  background-color: #FF9999;

div.hint:before
  content: 'Hint';
  display: block;
  background-color: green;
  color: white;
  padding-left: 4px;
  padding-top: 4px;
  margin-left: -4px;
  margin-bottom: 4px;

div.error:before
  content: 'Error';
  display: block;
  background-color: maroon;
  color: white;
  padding-left: 4px;
  padding-top: 4px;
  margin-left: -4px;
  margin-bottom: 4px;

div.content, div.hint, div.error, div.sourceContent
  padding-left: 4px;
  display: block;
  margin: 0.3cm;

div.sourceContent
  margin-top: -0.3px;

div.sourceContent ~ div.content, div.sourceContent ~ div.table, div.sourceContent ~ div.mapping
  margin-top: -0.3px;

div.table, div.mapping
  background-color: white;
  border: 0px;
  border-bottom: 1px solid navy;
  padding: 0px;
  margin: 0.3cm;

div.mapping
  border-top: 1px solid navy;

div.table table, div.mapping table
  width: 100%;
  border-collapse: collapse;

div.table table thead
  background-color: navy;
  color: white;
  margin: 0px;

div.table table tr, div.mapping table tr
  height: 1.2em;

div.table table tr:nth-child(even), div.mapping table tr:nth-child(even)
  background-color: #E2EBFF;

div.table table th, div.table table td, div.mapping table td
  margin: 0px;
  border: navy 1px solid;
  border-bottom: 0px;
  border-top: 0px;
  font-weight: normal;
  padding-left: 2px;
  padding-right: 2px;
  padding-top: 2px;

div.table table p, div.mapping table p
  margin: 0px;

div#content a, div#content button.linkbutton
  color: black;
  text-decoration: none;
  border: none;
  background: none;

div#content div.content a:before, div#content div.table a:before, div#content div.mapping a:before, div#content div.sourceContent a:before
  color: navy;
  content: '->';
  font-size: 11px;

div#content a:hover, div#content button.linkbutton:hover
  text-decoration: underline;

div#content div.edit
  display: block;
  text-align: right;
  margin-right: 0.3cm;
  font-style: italic;
  margin-top: -0.3cm;

div#content div.edit a, div#content div.edit button.linkbutton
  color: navy;
  display: inline;
  font-style: italic;
  font-size: 13px;
  margin: 0px;
  padding: 0px;
  cursor: pointer;

div#content div.edit form
  display: inline;
  margin: 0px;
  padding: 0px;
  border: none;

textarea
  width: 100em;
  height: 30em;

label
  width: 10em;
  float: left;

span.kw
  font-weight: bold
  
span.dt
  color: teal

span.dv, span.bn, span.fl, span.ch, span.st
  color: navy

span.co
  color: green

code.sourceCode
  display: block;
  border: 1px solid navy;
  background-color: #dddddd;
  padding: 4px;
  margin-right: 3px;

div.content div.sourceCode
  margin-bottom: 2px;

td.lineNumbers
  width: 1em;

div.sourceContent code.sourceCode
  margin-top: 0px;
  margin-bottom: 0px;

div.sourceContent table, div.content div.sourceCode table
  width: 100%;
  border-spacing: 0px;
  border-collapse: separate;

code.cs, code.source-cs
  background-color: #ffdddd
  color: purple
  border: 1px solid maroon;

code.cs span.co, code.cs span.dv, code.cs span.fl, code.cs span.ch, code.cs span.st, code.cs span.dt, code.source-cs span.co, code.source-cs span.dv, code.source-cs span.fl, code.source-cs span.ch, code.source-cs span.st, code.source-cs span.dt
  color: maroon

code.cs span.co:after, code.source-cs span.co:after
  content: '/\* I\'m a barbie girl in a barbie world \\o/ \*/';

code.php code.source-php
  background-color: #ffddff
  color: maroon
  border: 1px solid purple;

code.php span.co, code.php span.dv, code.php span.fl, code.php span.ch, code.php span.st, code.php span.dt, code.source-php span.co, code.source-php span.dv, code.source-php span.fl, code.source-php span.ch, code.source-php span.st, code.source-php span.dt
  color: purple

pre
  margin: 0px

pre.cs:before, pre.source-cs:before, div.sourceContent div.langhead
  content: 'C#';
  display: inline;
  border: 1px solid maroon;
  padding: 1px;
  background-color: maroon;
  color: white;
  border-bottom: none
  padding-bottom: 0px;

pre.haskell:before, pre.source-haskell:before, div.source-haskell div.langhead
  content: 'Haskell';
  display: inline;
  border: 1px solid navy;
  padding: 1px;
  background-color: navy;
  color: yellow;
  border-bottom: none
  padding-bottom: 0px;

pre.php:before, pre.source-php:before, div.source-php div.langhead
  content: 'PHP';
  display: inline;
  border: 1px solid purple;
  padding: 1px;
  background-color: purple;
  color: white;
  border-bottom: none
  padding-bottom: 0px;

div.sourceContent div.sourceCode
  margin-top: -4px;

div.sourceContent div.titlehead
  display: block;
  border-top: 1px solid maroon;
  border-right: 1px solid maroon;
  padding: 0px;
  color: black;
  border-bottom: none;
  border-left: none;
  padding-bottom: 0px;
  margin-right: 4px;

div.source-haskell div.titlehead
  border-top: 1px solid navy;
  border-right: 1px solid navy;

div.source-php div.titlehead
  border-top: 1px solid purple;
  border-right: 1px solid purple;