body {
  font-family: sans-serif;
  background-color: #ffffff;
  color: #000000;
}

hr {
  margin-left: -10px;
  margin-right: -10px;
  margin-top: 10px;
  margin-bottom: 10px;
}

h1 {
  font-family: serif;
}

h2 {
  font-family: serif;
}

.example {
  border: solid thin #222222;
  background-color: #dddddd;
  margin: 40px;
  padding: 10px;
}

.invisible {
  color: #ffffff;
}

table {
  border: solid thin #222222;
  border-collapse: collapse;
}

td,th {
  border: solid thin #222222;
  padding: 6px;
}

table.invis {
  padding: 10px;
  border: none thin #222222;
}

td.invis {
  border: none thin #222222;
}

td.center {
  text-align: center;
}

th.left {
  text-align: left;
}

a:link,a:visited {
  text-decoration: none;
}

a:hover {
  text-decoration: none;
  color: purple;
}

div.strong {
  font-family: serif;
  font-size: 3em;
  font-weight: bolder;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
  width: 500px;
}

div.soft {
  font-family: monospace;
  font-size: 3em;
  letter-spacing: .7em;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
  width: 500px;
}

span.symbol {
  font-size: 2em;
  padding-left: 16px;
  padding-right: 16px;
}