p { text-align: justify }
li { text-align: justify }
h1 { font-size: 140%; }
code { color: #c52d2d }
.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%; }