h1 {
  margin-bottom: 2rem;
}

a {
  color: #3b8400;
}

a:hover {
  color: #224b01;
  text-decoration: none;
}

hr {
  margin-top: 1rem;
  margin-bottom: 1rem;
  border: 0;
  border-top: 3px solid #3b8400;
}

p {
  text-align: justify;
}

td {
  font-size: 5px;
  padding: 2px;
  text-align: center;
}

table {
  border-collapse: collapse;
  margin-bottom: 1.3em;
  width:80%;
}

.current_tab{font-weight: bold;}

.subdued_text{
  color: #999999;
  margin: 0px 1em 1em 0px;
}

.blank{
  height: 2em;
  clear: both;
}

.label-info {
  background-color: #3b8400;
}

.label-info[href]:hover {
  background-color: #224b01;
}