body {
  bgcolor: #ffffee;
  padding-left: 25px;
  margin: 0px;
  color: #333;
}

/** Lead / summary section */
.lead {
    background-color: #ffffe9;
    padding: 1em;
    border: outset thin #fefef9;
}
div.header {
  margin: 50px 20px 40px;
  text-align: center;
}
div.main {
  margin: 20px 10px 20px;
}
div.footer {
  margin: 5px 20px 5px;
  text-align: center;
}
div.section {
  margin: 0px 1em 3em
}
div.section1 {
  margin: 0px 6em 3em
}

/** Auxilary and hilite boxes */
.aux {
    font-size: 92%;
    background-color: #f6f6f6;
    padding: 0.5em 1em;
    border: dotted 1px #333;
    margin-left: 0;
    margin-right: 1em;
}
.aux h2, .aux h3, .aux h4 {
    margin-top:0.9em;
}
.hilitebox,
.infobox {
    background: white;
    padding: 0.5em 1em;
    border: solid 1px #ddd0c0;
}
.hilitebox{
    margin-left: 0;
    margin-right: 5em;
}
/** Example boxes */
.spec-fragment,
.example,
.badexample,
.res-sample {
    font-size: 95%;
    font-family: monospace;
    padding: 0.8em 1em 0.6em 1em;
    border: solid 1px #ddd0c0;
    margin-left: 0;
    margin-right: 1em;
    line-height: 1.15;
}
.example {
    background: #fffef0 url(../pict/example.gif) no-repeat top left;
}

h2.a {
  border-right: 0px;
  border-top: 0px;
  padding-left: 0.5em;
  font-weight: bold;
  font-size: 120%;
  padding-bottom: 0px;
  margin: 2.5em 1em 1em 0px;
  border-left: #aa2222 0.5em solid;
  padding-top: 5px;
  border-bottom: #aa2222 1px solid;
  font-style: normal
}
h3.a {
  border-right: 0px;
  border-top: 0px;
  font-weight: bold;
  font-size: 105%;
  margin: 1em auto 0.8em 0.5em;
  border-left: 0px;
  border-bottom: #333333 1px solid;
  text-align: left
}