/* body */
body { color: black ;
       background-color: white }

code.input { white-space: pre;
             background-color: lightyellow; 
             border: hidden;
	     width: 60%;
             padding-left: 10;
             padding-right: 10; }

code.output { white-space: pre;
              background-color: lightgrey; 
	      width: 60%;
              border: none; 
              padding-left: 10; 
              padding-right: 10; }

code.abstract { white-space: pre;
                background-color: lightblue; 
                border: none;
                padding: 2; }
/* links */
a:link { color: green }       
a:visited { color: green }  	 
a:active { color: green }   				

/* addresses */
address { text-align: right; 
          margin-top: -2mm; }

/* links in addresses */
address a:link { color: purple }
address a:visited { color: purple }
address a:active { color: purple }

/* headings */
h1, h2, h3, h4, h5, h6 { color: darkblue; 
	                 font: "utopia"; }
h1 { text-align: center; }
h2, h3, h4, h5, h6 { text-align: left; 
                     margin-bottom: -5mm; }

/* some of the table stuff */
table { background-color: white; }

th { color: rgb(172, 118, 255); }
td { color: rgb(139, 64, 139); }

/* images */
img { border: 0;
      text-align: center; }

/* lists */

ul { list-style-type: disc;
     margin-bottom: 1mm; }

dl { list-style: outside;
     border-width: 2;
     border-style: solid;
     border-color: mediumpurple;
     width:100%; }

p.dd {margin-top: -1mm; 
      margin-left: 12mm; }