ul.minindent { margin-left: 20px; padding-left: 0px; }
 ol.minindent { margin-left: 20px; padding-left: 0px; }
 ol.minindent_al { list-style-type: lower-alpha ; margin-left: 20px; padding-left: 0px; }
 h1 {
  /* text-align: center; */
  font-size: 200%;
  font-weight: bold;
 }
 h2 {
  font-size: 140%;
  font-weight: bold;
  width: 100%;
  color: #000000;
  background-color: #ffff99;
  /* for printing:  background-color: #ffffff; */
  text-align: left;
 }
 h3 {
  font-size: 120%;
  font-weight: bold;
  width: 100%;
  color: #000000;
  background-color: #ffffcc;
  /* for printing:  background-color: #ffffff; */
  text-align: left;
 }
 h4 {
  font-size: 100%;
  font-weight: bold;
  width: 100%;
 }

 span.argument {
  font-family: serif;
  font-style: normal;
  /* text-align: center; */
  font-size: medium;
  font-weight: normal;
  color: #990099;
  background-color: #ffffff;
  /*margin: 0pt;*/
  }

 span.frombook {
  color: #000099;
  background-color: #ffffff;
  }

 span.fromother {
  color: #007700;
  background-color: #ffffff;
  }

 span.new {
  color: #AA0000;
  background-color: #ffffff;
  }

 blockquote {
  color: #000099;
  background-color: #ffffff;
  /*margin: 0pt;*/
  }