p {
  font-size: 110%;
  font-family: 'Times New Roman', Times, serif;
  text-align: left;
  margin-right: 10px;
  margin-left: 5px;
}

code {
  color: #006600;
  font-weight: bold;
}

table.tagset {
  border-collapse: collapse;
  border-bottom: 2px solid black;
  margin: 1em 1em 2em 2em ;
}

table.tagset th {
  text-align: left;
  color: #330099;
  border-bottom: 2px solid black ;
}

table.tagset td {
  padding-right: 10px;
  padding-top: 2px;
  vertical-align: top;
  border-bottom: 1px solid #888888 ;
}

table.tagset td.tag {
  font-family: Courier, 'Courier New', monospace;
  font-size: 110%;
  font-weight: bold;
  color: #006600;
}

table.tagset td.example {
  font-style: italic;
  color: #AA0000;
}