body {
  margin-left:   5px;
  margin-right:  5px;
  margin-top:    5px;
  margin-bottom: 5px;
}

.menu {
  background-color: #FFFFFF;
  border-top:       1px solid #CCCCCC;
  border-color:     #CCCCCC;
  border-left:      1px solid #CCCCCC;
  border-color:     #CCCCCC;
  border-bottom:    2px solid #999999;
  border-right:     2px solid #999999;
  font-family:      Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
}

.menuactive {
  background-color: #FF6633;
  color:            #FFFFFF;
  font-family:      Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:        10pt;
}

.menuinactive {
  font-family:      Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:        10pt;
}

.submenuactive {
  background-color: #FF6633;
  color:            #FFFFFF;
  font-family:      Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:        8pt;
}

.submenuinactive {
  font-family:      Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:        8pt;
}

.globalheadertext {
  font-family:     Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:       8pt;
  font-weight:     bold;
  color:           #FFFFFF;
}

.text {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   10pt;
}

.textsmall {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   8pt;
}

.textverysmall {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   4pt;
}

.textultrasmall {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   1pt;
}

.textlarge {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   12pt;
}

.textverylarge {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   18pt;
}

.textultralarge {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-size:   24pt;
}

.button {
  font-family: Verdana, Tahoma, Arial, Helvetica, Sans-Serif;
  font-weight: bold;
  font-size:   8pt;
}

.input {
  font-family: Courier;
  font-size:   10pt;
}