td {
  vertical-align: top;
  padding: 0;
}

.lhs {
  width: 9em;
  padding: 1em;
}

.pic {
  padding: 1em;
  float: right;
}

.rhs {
  padding: 4em 1em;
}

td.green-bar {
  height: 1.5em; 
  vertical-align: middle;
  padding: 0 1em;
  background-color: #588e42;
}

.top-ladder, a.link, .bottom-ladder {
  display: block;
  padding: 0.5em;
  border: thin solid #588e42;
  border-bottom: none;
  color: #000;
  text-decoration: none;
}

.top-ladder {
  border-top: none;
}

a.link:hover {
  cursor: pointer;
  color: #00c;
  background-color: #ccc;
}

a.selected {
  border-left: none;
  border-right: none;
  margin-left: 1px;
}

a.selected:hover {
  cursor: auto;
  color: black;
  background-color: #fff;
}

.small-text {
  font-size: 83%;
}

.big-text {
  font-size: 116%;
  font-weight: bold;
}