BODY {
  background-color: #FFFFFF;
  color: #000000;
  text-align: left;
}

H1 {
  font-size: xx-large;
  padding: 2px;
}

H2 {
  font-variant: small-caps;
  font-size: x-large;
  padding: 2px;
  border-bottom: solid;
}

H3 {
  font-size: large;
  padding: 2px;
}

PRE {
  background-color: #EEEEFF;
  padding: 10px;
  margin-left:   60px;
  margin-right:  60px;
  border: solid;
  border-width: thin;
}

.gramma {
  background-color: #EEFFEE;
  padding: 10px;
  margin-left:   60px;
  margin-right:  60px;
  border: solid;
  border-width: thin;
}
.gramma TABLE {
  font-size: small;
}

.implementation {
  background-color: #FFCCCC;
  padding: 10px;
  margin-left:   60px;
  margin-right:  60px;
  border: solid;
  border-width: thin;
  font-size: small;
}


P {
  margin-left:  40px;
  margin-right: 30px;
  text-align: left;
  font-size: normal;
}