body {
  background-color: rgb(255,127,0);
  margin: 0px 0px 0px 0px;
  padding: 0px 0px 0px 0px;
  overflow-y: scroll;
  }

.board, .board-text, .caption, .caption-text {
  background-color: rgb(255,255,255);
  }

p, td, input, textarea, .board-text, .caption-text {
  font-family: Trebuchet MS, Arial, Helvetica, sans-serif;
  font-size: 10pt;
  font-style: normal;
  font-weight: normal;
  line-height: 1.25em;
  }

p {
  margin: 0pt 0pt 6pt 0pt;
  text-align: justify;
  }

p.left {
  text-align: left;
  }

a {
  color: rgb(255,159,63);
  text-decoration: none;
  }

a:hover {
  color: rgb(255,127,0);
  text-decoration: none;
  }

form {
  margin-top: 0px;
  margin-bottom: 0px;
  }

input, textarea {
  border: 1px solid rgb(172,172,172);
  padding: 1px 3px 1px 3px;
  margin: 1px 0px 1px 0px;
  }

.board-text {
  color: rgb(20,20,20);
  padding: 0pt 10pt 0pt 10pt;
  }

.caption {
  background-image:url('./dotted.gif');
  text-align: center;
  margin: 16pt 0pt 8pt 0pt;
  }

.caption-text {
  color: rgb(20,20,20);
  font-weight: bold;
  padding: 0px 5px 0px 7px;
  }

.description {
  text-align: left;
  padding: 0px 3px 2px 3px;
  border-bottom: 1px solid rgb(172,172,172);
  margin: 16pt 0pt 2px 0pt;
  }

.examples {
  padding: 0px 0px 2px 0px;
  border-bottom: 1px solid rgb(172,172,172);
  }

.nav {
  padding: 0px 4px 2px 4px;
  text-align: right;
  color: rgb(172,172,172);
  }

.nav a {
  color: rgb(172,172,172);
  text-decoration: none;
  }

.nav a:hover {
  color: rgb(20,20,20);
  }

.footer {
  background-image:url('./dotted.gif');
  margin: 16pt 0pt 0pt 0pt;
  }

.striped td {
  padding: 1px 5px 2px 5px;  
  }

.striped tr.odd {
  background-color: rgb(255,243,230);
  }

.indented {
  padding: 0pt 9pt 0pt 9pt;
  }

.subsection {
  margin-left: 2em;
  }

.image, .image-l, .image-r, .image-tl, .image-tr {
  border: 1px solid rgb(172,172,172);
  background-color: rgb(239,239,239);
  }

.image-l, .image-tl {
  float: left;
  }

.image-r, .image-tr {
  float: right;
  }

.image {
  margin: 3px 3px 3px 3px;
  }

.image-l {
  margin: 6pt 8pt 1pt 0pt;
  }

.image-tl {
  margin: 1pt 8pt 3pt 0pt;
  }

.image-r {
  margin: 6pt 0pt 1pt 8pt;
  }

.image-tr {
  margin: 1pt 0pt 3pt 8pt;
  }

.trick {
  display: none;
  }