.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;
}
/* ad hoc styles */
.other-source {
  font-family: monospace;
  white-space: pre;
  width:100%;
  padding:5px;
/*	background-color:#EFFBFB;*/
	background-color:white;
  border-width:1px;
  border-style:solid;
  border-color:black;
	font-size:10pt;
	margin-bottom:25px;
	margin-top:25px;
}

.source-file {
	display:inline;
	top:-0.8em;
	position:relative;
	left:80%;
	width:200px;
	overflow:hidden;
	padding:3px 5px 3px 5px;
	margin-top:0px;
	margin-left:0px;
	background-color:#0000FF;
	color:white;
	font-weight:bold;
	overflow:auto;
}
.source-language {
	display:inline;
	top:-0.8em;
	position:relative;
	width:200px;
	overflow:hidden;
	padding:3px 5px 3px 5px;
	margin-top:0px;
	margin-left:0px;
	background-color:#000066;
	color:#FFFF00;
	font-weight:bold;
	font-style:italic;
}
.console-screen {
  font-family: monospace;
  white-space: pre;
  width:100%;
  padding:5px;
	background-color:white;
  border-width:1px;
  border-style:solid;
  border-color:black;
	font-size:10pt;
	overflow:hidden;
}
.black-console {
  font-family: monospace;
  white-space: pre;
  width:100%;
  padding:5px;
	color:white;
	background-color:black;
  border-width:1px;
  border-style:solid;
  border-color:black;
	font-size:10pt;
	overflow:hidden;
}
.exception {
	font-family: monospace;
  white-space: pre;
  width:100%;
  padding:5px;
	color:red;
	background-color:white;
  border-width:1px;
  border-style:solid;
  border-color:black;
	font-size:10pt;
	overflow:hidden;
}
.quoted-text {
	font-style:italic;
	font-size:0.9em;
}

.biblio-link {
	text-decoration:none;
	color:red;
	font-style:italic;
}
.biblio-link:hover {
  color:blue;
}