body            { margin-left: 6%; margin-right: 4%; }
  h1              { margin-left: -4%;}
  h2,h3,h4,h5,h6  { margin-left: -2%; }
  pre             { font-family: monospace; }


div.main {
padding-right: 12em;
}

div.bar {
float: right;
  width: 10em;
  margin: 0.5em;
  text-align: left;
}


  div.box { border: solid; border-width: 0.25em; width: 100% }

  div.grey {
    background: rgb(220,230,240);
    padding: 0.5em;
    border: none;
  }


 div.hsep {
    padding-left: 0.2em;
    border-left: none;
    border-right: none;
    border-top: solid;
    border-top-width: thin;
    border-bottom: solid;
    border-top-color: rgb(220,230,240);
    border-bottom-width: thin;
    border-bottom-color: rgb(220,230,240);
  }

div.figure {
  float: right;
  width: 25%;
#  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: center;
}


P.caption {
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}