body {

  color: #202020;
  font-size: 14px;
  font-family: Arial, Helvetica, Verdana, sans-serif;
  margin: 0px;
  padding: 0px;
  background-color: #FFFFFF;
}


a {

  color: #920606;
}


table {

  width: 100%;
  border: 0px;
  border-spacing: 0px
}


th {

  padding: 3px;
  text-align: left;
  background-color: #FF80FF;
  font-weight: bold;
}


td {

  padding: 0px;
  vertical-align: top;
}


pre {

  font: 12px Courier, monospace;
}


.slightlyBiggerFont {

  font-size: 16px;
}


.smallPadding {

  padding: 3px;
}


.darkTableRow {

  background-color: #FF80FF;
}


.twilightTableRow {

  background-color: #FFC0FF;
}


.brightTableRow {

  background-color: #FFFFFF;
}


.activeTableRow {

  background-color: #C0FFC0;
}


.highlightCol {

  background-color: #BCD3EA;
}


.headlineBig {

  text-align: center;
  margin-top:10px;
  font-weight: bold;
  font-size: 25px;
}


.infoText {

  text-align: center;
}


.errorText {

  color: red;
  font-weight: bold;
}


.stackTrace {

  white-space: pre;
}


.largeInputField {

  width: 100%;
}


.commandButton {

  background-color: #FFFFFF;
  border-width: 2px;
  border-color: #FFC0FF;
  border-style: solid;
  margin-right: 3px;

  /* wird eigentlich von body geerbt, aber IE macht's mal wieder schlecht */
  font-size: 14px;
}


.headerLines {

  margin: 5px;
  font-family: monospace;
  color: #C0C0C0;
}


.fixWidthChars {

  font-family: monospace;
}


.logonTableLeftColumn {

  width: 50%;
  text-align: right;
  padding: 3px;
}


.logonTableRightColumn {

  width: 50%;
  text-align: left;
  padding: 3px;
}


.hugeColumn {

  width: 90%;
}


.tinyColumn {

  width: 10%;
}


.bigColumn {

  width: 80%;
}


.smallColumn {

  width: 20%;
}