body {
  color: black;
  background-color: white;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}
p { font-family: Verdana, Arial, Helvetica, sans-serif; }
li { font-family: Verdana, Arial, Helvetica, sans-serif; }
a {
  text-decoration: none;
  font-weight: bold;
}
a:link { color: blue; }
a:visited { color: blue; }
a:active { color: red; }
a:hover { text-decoration: underline; }
.section {
  margin-top: 1em;
  margin-bottom: 1em;
}
.section p {
  margin-top: 0;
  margin-bottom: 1em;
}
.section p:first-child {
  font-size: x-large;
  font-weight: bold;
  margin: 0;
}
.example {
  position: relative;
  left: 5%;
  width: 90%;
  background-color: #e0e0e0;
  font-family: Courier, monospace;
  margin-top: 1em;
  margin-bottom: 1em;
}
.example>div {
  padding: 2%;
}