body
  {
    background-color: #D0D0C0;
    font-variant: small-caps;
    font-weight: normal;
    font-size: 12;
    font-family: sans-serif;
    text-align: left;
    color: #0000A0;
  }
  
  h1
  {
    font: small-caps bolder 20 sans-serif;
    text-align: center;
    font-stretch: narrower; color: #800040;
  }
  
  .line
  {
    color: #C5C5B1;
  }
  
  input[type="text"]
  {
    font-family: monospace;
  }
  
  .smallLegend
  {
    font-size: 10;
  }
  
  .theResult
  {
    font-weight: 800;
  }
  
  .statistic
  {
    font-weight: normal;
    font-size: 10;
    font-family: sans-serif;
    text-align: right;
    color: #90540C;
  }
  
  .statisticStats
  {
    font-weight: normal;
    font-size: 10;
    font-family: sans-serif;
    text-align: left;
    color: #90540C;
  }
  
  fieldset
  {
    border-bottom-style: groove;
    border-bottom-width: 2px;
    border-left-style: groove;
    border-left-width: 2px;
    border-right-style: groove;
    border-right-width: 2px;
    border-top-style: groove;
    border-top-width: 2px;
    display: block;
    margin-left: 2px;
    margin-right: 2px;
    padding-bottom: 0px;
    padding-left: 12px;
    padding-right: 12px;
    padding-top: 8px;
  }
  
  q
  {
    font-weight:500;
    color: #710000;
  }
  
  .grey
  {
    color: #A0A0A0;
    font-weight: normal;
  }
  
  .smallGrey
  {
    color: #A0A0A0;
    font-size: 10;
  }
  
  .smallText
  {
    font-size: 11;
  }
  .mediumText
  {
    font-size: 12;
    color: #800040;
  }
  
  .logging
  {
    text-align: center;
    font-size: 11;
  }
  
  .color1
  {
    text-align: center;
    font-size: 11;
    background: #FFFF99;
  }
  
  .color2
  {
    text-align: center;
    font-size: 11;
    background: #CCFFCC;
  }
  
  .color3
  {
    text-align: center;
    font-size: 11;
    background: #FFCC99;
  }
  
  .boldColor1
  {
    border-style:ridge;
    border-color:red;
    border-width:2px;
    font-weight:bold;
    text-align: center;
    font-size: 11;
    color: red;
    background: #FFFF99;
  }
  
  .boldColor2
  {
    border-style:ridge;
    border-color:red;
    border-width:2px;
    font-weight: bold;
    text-align: center;
    font-size: 11;
    color: red;
    background: #CCFFCC;
  }
  
  .boldColor3
  {
    border-style:ridge;
    border-color:red;
    border-width:2px;
    font-weight: bold;
    text-align: center;
    font-size: 11;
    color: red;
    background: #FFCC99;
  }
  
  .loggingHeader
  {
    font-size: 12;
    background: #C5C5B1;
  }