.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;
}