body {
  margin-left: 0px;
  margin-top: 0px;
  margin-bottom: 0px;
  margin-right: 0px;
  background-color: lightblue;
  padding: 10px;
}

h1.hdr {
  font-family: cursive;
  font-size: 36px;
}

td.refs {
  border: 1px solid;
  padding: 10px;
}

td.center {
  text-align: center;
}

img.logo {
  height: 100px;
}

p.txt {
  text-align: justify;
  width: 600px;
}

table {
  text-width: "600px";
}

td.lang {
  font-family: sans-serif;
  font-size: 18px;
  text-align: center;
  padding: 10px;
}

td.para1 {
  border: 1px solid;
  padding: 10px;
}

td.para2 {
  border: 1px solid;
  padding: 10px;
  vertical-align: top;
}

img.phase1 {
  border: 1px solid;
  width: 500px;
}

img.phase2 {
  border: 1px solid;
  width: 250px;
}

td.grammar {
  font-family: courier;
  border: 1px solid;
  vertical-align: top;
}

pre {
  text-align: left;
}

div {
  overflow-y: scroll;
  font-size: 12px;
  border: 1px solid;
  height: 250px;
  width: 800px;
}

span {
    font-family: courier;
    white-space:pre;
}

span.annotation
{
    color: blue;
}

span.comment
{
    color: green;
}

span.definition
{
    color: white;
    background-color: gray;
}

span.documented
{
    color: yellow;
    background-color: gray;
}

span.identifier
{
    color: black;
}

span.keyword
{
    color: blue;
}

span.literal
{
    color: orange;
}

span.number
{
    color: red;
}

span.picture
{
    color: red;
}

span.punctuation
{
    color: black;
}

span.reference
{
    color: black;
}

span.regex
{
    color: orange;
}