body {
  margin:0;
  padding: 1em 260px 0 50px;
  font-family: verdana, helvetica, arial;
  font-size: 2500px;
}

a {
  text-decoration: underline;
  color: #2233bb;
}

p {
  text-align: justify;
}

ul#menu {
  background-color: #f5f8fc;
  border: 1px dashed #000000;
  float: right;
  list-style-type: none;
  margin: 1em;
  padding: 0.5em 0 0.5em 0;
  position: fixed;
  top: 1em;
  right: 20px;
  width: 200px
}

li {
  padding: 0;
  margin: 0;
}

ul#menu li a {
  margin: 0 0.3em 0 0.3em;
  padding: 0.1em 2em 0.1em 2em;
  border: 1px solid #f5f8fc; 
  display: block;
  color: black;
  text-decoration: none;  
}

ul#menu li a:hover {
  border: 1px solid black;
  background-color: #bbe8ff;
}


h1 {
  font-size: 2em;
  text-align: left;
  margin-bottom:4em;
  color: RGB(38,68,187);
}


h2 {
  margin-top: 1.2em;
  border-bottom: 2px solid RGB(24,158,91);
}

h2:first-letter {
  color: RGB(24,158,91);
}

h3 {
  margin-top:1em;
}

pre {
  border-left: 2px solid red;
  padding-left: 1.5em;;
  margin-left: 3em;
}

dt {
  text-decoration: underline;
  margin-top: 0.8em;
  font-weight: bold;
}

dd {
  margin-top:0.3em;
}

table {
  border: 2px solid black;
  border-collapse: collapse;
  margin: 2em 0 1em 0;
}

td {
  border: 1px solid #369;
  border-collapse: collapse;
  padding: 0.5em 1em 0.5em 1em;
}


div#footer {
  margin-top: 3em;
  margin-bottom:3em;
  text-align: center;
}