body {
  background-color: #EEE;
}


.workingList {
  border-collapse: collapse;
}

.workingList td {
  border: 1px solid #000;
  padding-left: 10px;
  padding-right: 10px;
}

.state_ok {
  background-color: #8F8;
}

.state_todo {
  background-color: #CF8;   
}

.state_work_reqd {
  background-color: #FF8;
}

.state_part_work {
  background-color: #FC8;
}


.state_no_work {
  background-color: #FA8;
}

.state_unchecked {
  background-color: #CCC;
}

.indent {
  margin-left: 15px;
}

.command {
  margin: 5px;
  margin-left: 15px;
  font-family: monospace;
  background-color: #DDE;
  border: 1px solid #CCC;
  padding: 3px;
}

li {
  margin-top: 15px;
}

h3 {
  margin-top: 50px;
  border-top: 1px dotted #000;
}