body {
  background-color: rgb(90%,90%,90%);
  margin: 5% 5% 5% 10%;
  line-height: 130%;
}

.logo {
  float: left;
  margin-left: -8%;
  margin-top: -7%;
}

h1,h2,h3,h4,h5,h6 {
  margin-left:   -7%;
  margin-top:    3ex;
  color:         #44c;
  line-height:   150%;
  padding-left:  0.5em;
}

*.textbf {
  font-weight: bold;
  font-family: serif;
  color: #c44;
}

*.textsf {
  font-weight: bold;
  font-family: san-serif;
  color: #44c;
}

code, *.code, pre, tt {
  font-family: monospace;
  font-weight: bold;
  color: #a44;
  background: transparent;
}

pre, div.alltt {
  background: #bbf;
  padding: 3ex;
  border-style: groove;
  line-height: 100%;
}

em, *.textit {
  font-weight: bold;
  font-style: oblique;
  color: #44c;
  background: transparent;
}

*.strikeout {
  text-decoration: line-through
}

strong {
  color: #c44;
  font-weight: bold;
}

dt {
  font-weight: bold;
}

address {
    margin-left: 80%;
    line-height: 100%;
}

blockquote {
  background: #bbf;
  background: transparent;
}

div.column {
  color: inherit;
  background: #afa;
  padding: 3ex;
  border-style: groove;
}

div.exercise {
  color: inherit;
  background: #faa;
  padding: 3ex;
  border-style: groove;
}

*.caution {
  color: #22f;
  font-weight: bold;
}