body {
  /* color: #000000; */
  /* background: #CCCCCC; */
  margin-left: 5%;
  margin-right: 5%;
  font-family: sans-serif;
}

h1 {
    border-width: 5px;
  border-style: none;
  /*border-color: #018BD9;*/
  background-color: #003e59;
  color: white;
  font-weight: bold;
}

h2,h3,h4,h5 {
  color: #3b6b7f;
}
.center {
  text-align: center;
}

pre {
  font-family: courier;
}

a:link {
  color: #9fccd4;
}

a:visited {
  color: #003e59;
}

.error {
  color: red;
}