@font-face
{
  font-family: ArchitectsDaughter;
  src: url('ArchitectsDaughter.ttf');
}
body
{
  font-size: 1.0em;
  font-family: Verdana,Helvetica,Arial,sans-serif;
  /* background-color: yellow;
     background-color: #FFCCCC;
  background-color: #FFB2CC;
  */
  background-color: #B2FFCC;
}
header
{
  background-image:url('turtle_header.png');
  font-family: ArchitectsDaughter;
  background-color: #22BB32; 
  border: 2px solid #000;
  border-radius: 5px;
  margin-top: 0;
  padding-top: 5px;
  padding-bottom: 5px;
  font-size: 1.6em;
  font-weight: bold;
  display: block;       /* for IE8 or less */
}
footer
{
  margin-top: 10px;
  font-size: 1.0em;
  font-style: italic;
  border-top: 2px solid #000;
  display: block;       /* for IE8 or less */
  /* margin: 0 0 0 40px; */
}
fieldset
{
  margin-top: 10px;
  border-radius: 5px;
  border: 2px solid #000;
  display: inline-block;
}
codex
{
  border: 1px solid #000;
  margin-bottom: 1.0em;
  padding: .667em .917em;
  display: block;
  /* width: 90%; */ 
  font-family: monospace;
  font-size: 1.0em;
  background-color: white;
}
a.copyright
{
  font-size: 0.8em;
}
div.indent
{
  margin-left: 22px;
}
div.indent12
{
  margin-left: 12px;
}
img.border
{
  border:2px solid #000;
}
h1
{
  font-size: 1.3em;
  font-family: arial,sans-serif;
}
h2
{
  font-size: 1.2em;
  font-family: arial,sans-serif;
}
h3
{
  font-size: 1.1em;
  font-family: arial,sans-serif;
}
button
{
  font-size: 1em;
}
input
{
  font-size: 1.1em;
  font-weight: bold;
}
canvas#canvas1
{
  margin: 0px;
  padding: 0px;
  background-color: white;
}
textarea#commands
{
  margin: 0px;
  padding: 5px;
  border: 2px solid #000000;
  background-color: white;
  resize: none;
  font-size: 1.1em;
  text-transform: uppercase;
  /* font-weight: bold; */
}
td.center { text-align: center; }
table.fancy   th                 { background-color: #ddd;  }
table.fancy   td                 { background-color: white; }
table.fancier th                 { background-color: #ddd;  }
table.fancier tr:nth-child(even) { background-color: #eee;  }
table.fancier tr:nth-child(odd)  { background-color: #fff;  }