body {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-style: normal;
   font-size: x-small;
}
td {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-style: normal;
   font-size: x-small;
}
th {
   font-family: Verdana, Arial, Helvetica, sans-serif;
   font-style: normal;
   font-size: x-small;
}
h1 {
   color: #000099;
   font-weight: 500;
   font-size: large;
}
h2 {
   color: #000099;
   font-weight: 400;
   font-style: normal;
   font-size: medium;
}
h3 {
   color: #000099;
   font-weight: 300;
   font-style: normal;
   font-size: small;
}
h4 {
   color: #000099;
   font-weight: 200;
   font-style: italic;
   font-size: x-small;
}
a {
   color: #0000ff;
}
a:link {
   color:#0000ff;
}
a:hover {
   color:#0000ff;
}
a:active {
   color:#0000ff;
}
a:visited {
   color:#0000ff;
}
code {
   color: #000000;
   font-size: 10pt;
}
pre {
   color: #000000;
   font-size: 10pt;
}

table.box {
  background-color: #E4EAEA;
  border: 1px solid black;
  text-align: center;
}

table.box tr th {
  background-color: #9999EE;
}

pre.compile {
  color: blue;
}