body {
  margin: 0px;
  padding: 0px;
  background: #fff;
  color: #000;
  font-family: Sans-Serif;
  font-size: 80%;
}

div.top {
  margin: 10px;
  text-align: center;
}

div.top h1 {
  font-size: 3.5em;
  font-weight: normal;
  padding: 0px;
}

div.top h2 {
  font-size: 2em;
  font-weight: normal;
}

div.global {
  border: 1px dotted #000;
  margin: 10px 25% 10px 25%;
}

div.content {
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  padding: 1em;
  margin: 1em;
}

pre {
  border: 1px solid #000;
  overflow: auto;
  padding: 1em;
}

p {
  text-align: justify;
}

a {
  color: black;
  font-weight: bold;
}