body {
  color: #000000;
  background: #f6f6f6;
  margin-left:  7%;
  margin-right: 7%;
}
a {
  text-decoration: none;
  color: #0000FF;
}
a:hover {
  text-decoration: underline;
  color: #ff0000;
}
note { font-size: smaller; }
h2 { margin-left: -4%; font-size: 100%; }
h3 { font-size: 100%; }
p  { text-align: justify; }
ul { list-style-type: disc; }
ul ul { list-style-type: circle; }
.c   { color: #c52d2d; }
.in  { color: #000000; background: #f6f6f6; }
.his { color: #cd00cd; background: #f6f6f6; }
.out { color: #0000cd; background: #f6f6f6; }
.err { color: #cd0000; background: #f6f6f6; }
.emph { color: #000000; background: #ccffcc; }
td.set   { color: #000000; background: #cdcd99; text-align: center; }
td.shade { color: #000000; background: #ccffcc; text-align: center; }
td.h {
  text-align: left;
  background: #1080bf;
  color: #ffffff;
  font-family: Helvetica, sans-serif;
  font-size: 150%;
}
td.indent { text-indent: 0.5cm; text-align: left; font-size: 80%; }
pre.code {
        overflow:       auto;
        background:     rgb(230,230,230);
        border:         solid;
        border-width:   thin;
        padding: 5px  10px;
}

.head {
  font-family: Helvetica, sans-serif;
  font-weight: bold;
  color: #000000;
  background: #cdcffc;
  margin-left:0em;
  margin-top:0.5em;
  margin-bottom:0.5em;
  padding-bottom: 0.8em;
  padding-top: 0.8em;
  border-style: solid;
  border-width: 1pt;
  text-align: center;
}
h1.head { font-size: 130%; }
h2.head { font-size: 120%; }

br.small  { margin-bottom: 0.5em; }
br.med  { margin-bottom: 2em; }
br.big { margin-bottom: 5em;}