.nfa_next_char {
  background-color: #bbbbbb; }

.nfa_active {
  background-color: #97caff; }

.nfa_accepted {
  background-color: #aaeeaa; }

.nfa_rejected {
  background-color: #eeaaaa; }

.mnsp {
  font-family: monospace; }

pre {
  padding: 2px;
  font-weight: bold;
  font-family: courier; }

#the_table {
  font-size: smaller;
  margin-bottom: 30px; }

#alphabet_row {
  text-align: center;
  white-space: nowrap; }

td.state {
  font-weight: bold;
  white-space: nowrap;
  text-align: right; }

span.delta {
  font-weight: bold; }

#te {
  width: 500px;
  height: 100px; }

#div3, #div4 {
  min-height: 2em;
  width: 100%;
  overflow: hidden; }

#speedcontrol {
  border-left: 3px double black;
  padding-left: 5px;
  margin-left: 5px; }

div.radio_group {
  padding: 10px;
  border: 2px solid black;
  margin: 3px; }

span.literal, td.literal {
  font-family: monospace;
  color: #44F;
  font-weight: bold; }

.regex_holder {
  border: 5px double black;
  padding: 7px;
  margin: 10px; }

.regex {
  font-size: 175%;
  font-family: monospace; }