.nop {}

A:link {
    color: #c25e3a;
}

A:visited {
    color:  #c25e3a;
}

BODY {
	  margin-top:		24pt;
	  margin-left:		2ex;
	  margin-right:		2ex;
			background-color: white;
			background: white;
	  color:			black;
	  font-family:	Optima, sans-serif;
}

H1 {
    padding: 1ex;
    background-color:	#004c28;
    border: thick solid #c0c0c0;
    color: white;
    font-size: xx-large;
    font-weight: bold;
    text-align: center;
}


H2 {
    background-color:	#004c28;
    background:	#004c28;
    border-top: 3px solid #7c974f; /*622aa9;*/
    border-bottom: 2px solid #7c974f;
    padding-left: 1em;
    color: #f6f49e;
    font-size: x-large;
    font-weight: bold;
}

H3 {
    font-weight: bold;
    font-size: large;
    /*background-color:	#004c28;*/
    /*background:	#004c28;*/
    border-bottom: 1.5px solid #004c28;
    color: #c25e3a;
}


DIV.foot {
    margin-top: 2em;
    padding-top: 0.5em;
    padding-left: 0.5em;
    border-top: thin groove black;
}

DIV.output {
    margin-top: 1ex;
    margin-bottom: 1ex;
    font-style: italic;
    border: 1.5px dashed black;
    padding-left: 1em;
    padding-right: 0.5em;    
}    

DIV.code {
    margin-top: 1ex;
    margin-bottom: 1ex;
    border: 1.5px solid black;
    padding-left: 1em;
    padding-right: 0.5em;
}

DIV.code a {
    font-family: fixed;
}

DIV.lab {
    margin-left: 2em;
    margin-right: 2em;
}

DL.compact DD {
    font-family: Courier;
    border: 1px dashed black;
    background-color: #F3F3F3;
    padding: 0.5em;
    margin-left: 1em;
    margin-bottom: 0.5em;
    white-space: nowrap; /* prevent silly unintended linebreaks */
}