.nop {}

A:link {
	  color:	blue;
}

A:visited {

}

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

TABLE.header {
    text-align: left;
    width: 100%;
    background-color: #fffec6;
    border-top: medium solid black;
    border-bottom: thin solid black;
    padding: 3px;
}

TABLE.header TD {
    border: none;
}

#search { 
    margin-bottom: 0; 
}

H1 {
    border: none;
    padding: 1ex;
	  background-color:	#080;
    color: #fffec6;
    font-size: xx-large;
    font-weight: bold;
    text-align: center;
    margin-bottom: 1.5em;
    margin-top: 0pt;
}

H2 {
    border-top: medium solid black;
    border-bottom: thin solid black;
    background-color: #fffec6;
    color: #080;
    font-size: x-large;
    font-weight: bold;

}

H3 {
    font-weight: bold;
    font-size: large;
    color: #060;
}


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

DIV.attribution {
    margin-top: 1em;
    font-size: x-small;
}

table {
  border-style: solid;
  border-color: #c0c0c0;
}

.header {
  border-style: none;
  font-weight: inherit;
  line-height: normal;
  font-size: medium;
}

.dots {
  border-bottom: 2px dotted #000000;
  display: block;
  width: 100%;
}

TD.navbar {
  border-style: solid hidden none;
  border-top: 1px solid #000000;
  background-color: #ffff99;
}


.tight {
  margin-top: 0%;
  padding-top: 0%;
  top: 0%;
  margin-bottom: 0%;
  padding-bottom: 0%;
  bottom: 0%;
}

.programlisting {
  border: 2px dotted black;
  background-color: transparent;
  padding: 1em;
}

.screen {
  border: 1px inset black;
  padding: 1em;
}

.computeroutput {
  color: #000066;
}

.errortext {
  color: #cc0000;
}

.schemeinput {
  color: #000000;
}

.schemeoutput {
  color: #990099;
}

.schemecomment {
    color: rgb(193,116,31);
    /*font-style: italic;
    background-color: rgb(255,225,255);*/

}

.name {
    color: magenta;
}


/* covers everything, but we'll define subspans to limit to parens */
.define, .lambda, .if, .when, .cond, .let, .combination { 
    color: rgb(131,60,36); 
}

.expr, .procedure {
    color: black;
}

/*.procedure {
    color: rgb(38,38,128);
} */ /* can't figure out how to exclude parameters, so we'll just match expr*/

.keyword {
    font-weight: bold;
    /*color: rgb(38,198,232); /* from emacs */
    color: rgb(38,38,128);
}

.string {
    color: rgb(41,128,38);
    text-decoration: underline;
}

.comment {
    color: rgb(193,116,31);
    /*font-style: italic;
    background-color: rgb(255,225,255);*/
}

.number {
    color: rgb(41,128,38);
}