body { 
	margin-left: 3%; 
	margin-right: 4%; 
  }
  body.intro { 
  }
  h1 {	color: green;
	margin-top: 0.75em;
	margin-bottom: 0.00em;
	font-family: arial, helvetica, sans-serif;
	font-size: 175%;
	font-weight: bold;
	text-decoration: underline;
	text-align: center;
  }
  h2 {	text-align: center;
	font-family: Arial, helvetica, sans-serif;
	margin-top: 0mm;
	font-size: 150%;
	color: green; 
  }
  h3 {	margin-left: -2%;
	color: green;
	font-size: 110%;
	margin-bottom: 0em;
	font-family: Arial,Helvetica,Sans-Serif;
	text-align: left;
	font-weight: bold;
  }
  h3.flush {
	color: green;
	font-size: 100%;
	margin-bottom: 0em;
	font-family: Arial, helvetica, sans-serif;
	text-align: left;
	font-weight: bold;
  }
  h4 {	color: green;
	font-size: 100%;
	margin-bottom: 0em;
	font-family: Arial, helvetica, sans-serif;
	text-align: left;
	font-weight: bold;
  }
 h5,h6 { margin-left: -3% }

  A:link {color: blue; text-decoration: none;}
  A:visited {color: blue; text-decoration: none;}
  A:hover {color: green; text-decoration: none;}
  A:active {color: red; text-decoration: none;}

  pre {
     color: green; font-weight: bold;
     white-space: pre; font-family: monospace;
  }
  tt { color: green }
  div.heading {	margin-left: -3%;
	color: green;
	font-size: 100%;
	margin-top: 1em;
	margin-bottom: 0em;
	font-family: Arial, helvetica, sans-serif;
	text-align: left;
	font-weight: bold;
  }
  div.box { border: solid; border-width: thin; width: 80%; padding: 1em; 
	border-color: maroon; }
  div.color {
    background-color: rgb(204,204,255);
    padding: 0.5em;
    border: none;
    width: 100%;
  }
  p.smallmargins {
    margin-top: 0.5em;
    margin-bottom: 0.0em;
  }
  table {
    margin-top: 0.0em;
    padding-top: 0.0em;
  }

  table.collaboration {
    font-family: "Times New Roman", roman, serif;
  }

  td.address { 
    margin-top: 0.0em;
    padding-top: 0.0em;
    padding-left: 0.5em;
    padding-bottom: 0.0em;
    border-left: solid;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left-width: thin;
    border-color: red;
    padding-right: 0.5em;
  }

  td.names { width: 45%; 
        padding-right: 0.5em;
  }
  td.contributions { width: 55%;
    padding-left: 1em;
    border-left: solid;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left-width: thin;
    border-color: grey;
 }
}