html,html body {
                font-family: sans-serif;
}

a {
    color: #6666dd;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

.title
{
  text-align: center;
  font-family: sans-serif;
  font-size: xx-large;
  font-weight: normal;
  color: white;
  background-color: #447777;
  padding: 3px;
  margin: 0px;
  border: 0px;
}

.title a {
  color: white;
}

.footer
{
  background-color: #e0eeff;
}

td.word {
  border-left-width: 1px;
  border-left-color: #ff9999;
  border-left-style: solid;
  border-top-width: 1px;
  border-top-color: #ff9999;
  border-top-style: solid;
  border-bottom-width: 1px;
  border-bottom-color: #ff9999;
  border-bottom-style: solid;
}

.definition {
  color: #007700;
  font-style: italic;
}

.input {
        background-color: #eeeeff;
}

.button {
  border: 1px solid #ffcccc;
  background-color: #aabbff;
}

.result1 {
           background-color: #ccddff;
}

.result2 {
           background-color: #f5f5ff;
}

.resulttopleft {
                 border-left: 1px solid #ffcccc;
                 border-top: 1px solid #ffcccc;
}

.resulttopright {
                  border-right: 1px solid #ffcccc;
                  border-top: 1px solid #ffcccc;
                  padding-left: 1em;
}

.resultbottomleft {
                    border-left: 1px solid #ffcccc;
                    border-bottom: 1px solid #ffcccc;
                    padding-bottom: 1em;
}

.resultbottomright {
                     border-right: 1px solid #ffcccc;
                     border-bottom: 1px solid #ffcccc;
                     padding-left: 1em;
}

.spacer{
         height: 1em;
         }

.function-name {
  color: #ff0000;
}

.string {
  color: #00aa00;
}

.variable-name {
  color: #990099;
}

.builtin {
  color: #ee00ee;
}

.character {
  color: #dd8800;
}

.comment {
  color: #00ffff;
}

.hilight {
  background-color: #ffff00;
}

.dull {
        font-size: 75%;
        color: #bbbbbb;
}

.dull a {
        color: #aaaaee;
}