.gwt-TabBar .gwt-TabBarItem {
  background: #f4f4f4;
  margin-right: 2px;
  padding: 0.2em;
  padding-left: 0.4em;
  padding-right: 0.4em;
  font-weight: bold;
  cursor: pointer;
}

.gwt-TabBar .gwt-TabBarItem-selected {
  background: #55679e;
  color: white;
  cursor: default;
}

.gwt-TabPanelBottom {
  border: 2px solid #55679e;
  padding: 5px;
}

.custom-tab-panel {
  width: 100%;
}

/* The addition of "body" here gives this priority over the default rule in standard.css, which
 * would otherwise have the same specificity.
 */
body .menubar-hand-cursor .gwt-MenuItem { 
  cursor: pointer;
}

.code {
  white-space: pre;
  font-family: Courier New, Courier, monospace;
}

td .status_blank {
  background-color: #ffffff;
}

td .status_none {
  background-color: #d080d0;
}

td .status_bad {
  background-color: #ff4040;
}

td .status_75 {
  background-color: #ffc040;
}

td .status_85 {
  background-color: #ffff00;
}

td .status_90 {
  background-color: #c0ff80;
}

td .status_95 {
  background-color: #32CD32;
}