body {
  font-family: Garamond, serif;
  background-color: #fffbee;
}

h1 {
  color: #772d13;
  margin-left: 0px;
}

p {
  font-size: 12pt;
  line-height: 1.3;
}

p.pageNo {
  text-align: right;
  color: #772d13;
  font-size: 12pt;
}

p.next {
  text-align: right;
}

p.copyright {
  font-size: 10pt;
  font-style: italic;
}


code {
  font-size: 11pt;
  font-family: sans-serif;
}

code.nodeNo {
  font-size: 9pt;
  color: darkred;
  vertical-align: 5%;
}

p.tree {
  text-align: center;
}

div.brief {
  width: 500px;
  border: solid 1px #772d13;
  padding: 5px;
}

div.defn {
  width: 450px;
  border: solid 1px #772d13;
  border-radius: 10px;
  padding: 5px;
  margin-left: auto;
  margin-right: auto;

}

table.truthTable {
  margin-left: auto; /* centered */
  margin-right: auto;
  text-align: center;
  border-collapse: collapse;
  border-style: hidden; /* hides borders for the entire table */
}

table.truthTable td {
  border: 1px solid black; /* draws borders for individual cells */
  padding: 3px;
  vertical-align: bottom;
}

button {
  background-color: darkred;
  border: none;
  color: white;
  text-align:center;
  font-size: 10pt;
  border-radius: 3px;
  padding: 3px;
}

button:hover {
  background-color: indianred;
}