div.floatright
   {
   float: right;
   margin-right: .3em;
   margin-left: .5em;
   background-color: white;
   margin-bottom: 1em;
   border: 2px;
   border-color: black;
   border-style: groove;
   }
  div.nofloat
   {
   background-color: white; 
   margin-bottom: 1em;
   margin-left: .3em;
   border: 2px;
   border-color: black;
   border-style: groove;
   }
  div.floatleft
   {
   float: left;
   margin-left: .3em;
   margin-right: .5em;
   background-color: white;
   margin-bottom: 1em;
   border: 2px;
   border-color: black;
   border-style: groove;
   }
  div.floatright p, nofloat p, floatleft p
   { 
   text-indent: 0em;
   margin-top: 0.1em;
   margin-bottom: 0.1em;
   }
  div.article
   {
   clear: both;
   width: 98%;
   margin: 0;
   margin-left: auto;
   margin-right: auto;
   background-color: #ECE5B6;
   }
  div.article p
  {
  text-indent: 2em;
  padding-left: .3em;
  padding-right: .3em;
  }
 a.mininav
 {
 padding: .2em;
 padding-bottom: .3em;
 float: right;
 font-size: small;
 color: white;
 background-color: black;
 margin-right: 2em;
 border: double;
 border-color: maroon;
 }
 a.mininav:hover
 {
 background-color: white;
 color: black;
 }