body {
 font-family: verdana, tahoma, fantasy; /* previously cursive */
 font-style: normal;
 font-variant: normal;
 color: black;
 background-color: white;
 background-image: url(back.gif);
 background-repeat: no-repeat;
 background-attachment: scroll;
 background-position: top left;
 word-spacing: normal;
 letter-spacing: normal;
 text-decoration: none;
 word-spacing: normal;
 text-align: left;
 /* text-indent: 2em; */
 line-height: normal;
 margin-top: 1cm;
 margin-right: 1cm;
 margin-bottom: auto;
 margin-left: 4cm;
 padding-top: 5mm;
 padding-right: 5mm;
 padding-bottom: 5mm;
 padding-left: 5mm;
 border-width: thin thin thin thin;
 border-style: none none none none;
 width: auto;
 height: auto;
 float: left;
 clear: none;
 display: block;
 white-space: normal;
 list-style-position: inside;
}  

p {
      padding-bottom: 2mm;
      text-indent: 2cm;
}

p.code {
        font-family: monospace;

}

p.figure {
          text-align: center;
}


h1, h2, h3 {
 margin-top: 5mm;
 margin-right: auto;
 margin-bottom: 3mm;
 margin-left: -4mm;
 padding-top: 3mm;
 padding-right: 3mm;
 padding-bottom: 3mm;
 padding-left: 3mm;
 font-size: larger;
 text-align: left;
 background-color: white; 
 border-style: dotted ;
 border-width: thin ;
}

h2, h3 {
     font-size: smaller;
     padding-top: 1mm;
     padding-right: 1mm;
     padding-bottom: 1mm;
     padding-left: 1mm;
     margin-left: -2mm;
}

 h3 {
     font-size: smaller;
     border-width: thin;
     margin-left: 10mm;
 }
 
 p.h3text {
     margin-left: 10mm;
 }

 a {
   color:blue  ;
  }

 table {
     border-style: dotted dotted dotted dotted;

    }
 td {
     border-style: dotted dotted dotted dotted;
     }


  pre {
	background-color:lightgray;
  }