<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">table {
  border-collapse: collapse;
  border-left: 1px black solid;
  border-top: 1px black solid;
}

td, th {
  border-bottom: 1px black solid;
  border-right: 1px black solid;
}

tr.boldened, td.boldened {
  background-color: #b0d0b0;
}

tr.diminuitive, td.diminuitive {
  background-color: #d0d0d0;
}

hr {
  background-color: black;
  border: 0px;
  height: 1px;
}

h1, h2, h3 {
  color: #006000;
} 

span.boldened {
  color: #006000;
  font-weight: bold;
}
</pre></body></html>