.jjcode {
 font-weight:bold;
 color:#0000FF;
}
.command {
 font-family:"Courier New", Courier, monospace;
 color:darkblue;
 font-weight:bold;
}
.keyword {
 color:#990033;
 font-weight:bold;
}
.figure-label {
  color:#000066;
  font-weight:bold;
  font-style:italic;
  font-size:10pt;
}

.code {
 font-family:"Courier New", Courier, monospace;
 border-style:solid;
 border-color:#000000;
 background-color:#FFFFCC;
 border-width:1px;
 padding:5px;
 font-size:10pt;
 width:80%;
}


.table-header {
 color:yellow;
 background-color:darkblue;
 text-align:center;
 font-weight:bold;
}
.example-image {
  border-color:#666666;
  border-style:solid;
  border-width:2px;
}
.footer {
 text-align:center;
 font-size:8pt;
}


table.source {
	border-collapse:separate;
	width:80%;
	margin-left:10%;
	margin-right:10%;
	border-style:solid;
	border-width:1px;
}

tr.source {
  height:70px;
  border-style:solid;
  border-color:black;
  border-width:1px;
}

.source-snapshot {
  font-family: monospace;
  white-space: pre;
	border-width:1px;
	border-style:solid;
}

.source-eclipse {
  font-family: monospace;
  white-space: pre;
}
.source-netbeans {
  font-family: monospace;
  font-size: 10pt;
  white-space: pre;
}
.source-monochrome {
  font-family: monospace;
  white-space: pre;
  color:black;
}
.source-citylights {
  font-family: monospace;
  font-size: 10pt;
  background:black;
  color:rgb(0,255,0);
  white-space: pre;
}