body {
  background-color: #ffffff;
  color: #000000;
}

.title {
  margin-top: 10px;
  margin-left: 10px;
  font-size: 28px;
  font-style: italic;
  text-decoration: underline;
}

h1 {
  margin-top: 1em;
  padding-left: 2em;
  font-size: 18px;
  text-decoration: underline;
}

h2 {
  margin-top: 1em;
  padding-left: 4em;
  font-size: 14px;
}

h3 {
  margin-top: 1em;
  padding-left: 7em;
  font-size: 12px;
}

.l1 ul {
  padding-left: 5em;
  text-align: justify;
  padding-right: 2em;
}

.l1 li {
  padding-bottom: 10px;
}

.l2 ul {
  padding-left: 7em;
  text-align: justify;
  padding-right: 2em;
}

.l2 li {
  padding-bottom: 10px;
}

.l3 ul {
  padding-left: 9em;
  text-align: justify;
  padding-right: 2em;
}

.l3 li {
  padding-bottom: 10px;
}

.l1 p {
  padding-left: 4em;
  padding-right: 1em;
  text-align: justify;
}

.l2 p {
  padding-left: 6em;
  padding-right: 1em;
  text-align: justify;
}

.l3 p {
  padding-left: 8em;
  padding-right: 1em;
  text-align: justify;
}

pre {
  border: solid thin black;
  background-color: #e5e5e5;
  border: 1px solid #000000;
  padding: 0em 2em;
}

.l1 pre {
  margin-left: 4em;
  margin-right: 1em;
}

.l2 pre {
  margin-left: 6em;
  margin-right: 1em;
}

.l3 pre {
  margin-left: 8em;
  margin-right: 1em;
}

p.copyright {
  text-align: center;
  font-size: 10px;
}

img {
  border: none;
}

div.screenshot {
  float: left;
  margin: 10px;
}