.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 {
    font-style: italic;
    background-color: rgb(255,225,255);
}

.name {
    color: magenta;
}

.keyword {
    font-weight: bold;
    color: rgb(0,0,128);
}

.string {
    color: rgb(32, 0, 32);
    text-decoration: underline;
}

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