.header {
	font-size: medium;
	background-color:#336699;
	color:#ffffff;
	border-style:solid;
	border-width: 5px;
	border-color:#002244;
	padding: 1mm 1mm 1mm 5mm;
}

.footer {
	font-size: small;
	font-style: italic;
	text-align: right;
	background-color:#336699;
	color:#ffffff;
	border-style:solid;
	border-width: 2px;
	border-color:#002244;
	padding: 1mm 1mm 1mm 1mm;
}

.footer a:link {
	font-weight:bold;
	color:#ffffff;
	text-decoration:underline;
}

.footer a:visited {
	font-weight:bold;
	color:#ffffff; 
	text-decoration:underline;
}

.footer a:hover { 
	font-weight:bold; 
	color:#002244; 
	text-decoration:underline; }

.check {font-size: x-small;
	text-align:right;}

.check a:link { font-weight:bold;
		color:#a0a0ff;
		text-decoration:underline; }

.check a:visited { font-weight:bold;
		   color:#a0a0ff;
		   text-decoration:underline; }

.check a:hover { font-weight:bold;
		 color:#000000;
		 text-decoration:underline; }


div.section {
  padding-left: 1em;
}



/* styles for emacs' htmlize-region */
body {
  color: #000000;
  background-color: #ffffff;
}
.builtin {
  /* font-lock-builtin-face */
  color: #7d26cd;
}
.comment {
  /* font-lock-comment-face */
  color: #88c;
}
.constant {
  /* font-lock-constant-face */
  color: #5f9ea0;
  font-weight: bold;
}
.doc-string {
  /* font-lock-doc-string-face */
  color: #008b00;
}
.function-name {
  /* font-lock-function-name-face */
  color: #8b2323;
  font-weight: bold;
}
.keyword {
  /* font-lock-keyword-face */
  color: #a00;
}
.preprocessor {
  /* font-lock-preprocessor-face */
  color: #00a;
}
.reference {
  /* font-lock-reference-face */
  color: #cd0000;
}
.string {
  /* font-lock-string-face */
  color: #008b00;
}
.type {
  /* font-lock-type-face */
  color: #4682b4;
  font-weight: bold;
}
.warning {
  /* font-lock-warning-face */
  color: #ff0000;
  font-weight: bold;
}




.slime-inspector-action {
  /* slime-inspector-action-face */
  color: #dd5555;
}
.slime-inspector-label {
  /* slime-inspector-label-face */
  color: #888888;
}
.slime-inspector-topline {
  /* slime-inspector-topline-face */
  color: #00aa00;
}
.slime-inspector-value {
  /* slime-inspector-value-face */
  color: #0000cd;
}





.slime-repl-input {
  /* slime-repl-input-face */
  font-weight: bold;
}
.slime-repl-inputed-output {
  /* slime-repl-inputed-output-face */
  color: #ff0000;
}
.slime-repl-output {
  /* slime-repl-output-face */
  color: #bc8f8f;
}
.slime-repl-prompt {
  /* slime-repl-prompt-face */
  color: #a020f0;
}
.slime-repl-result {
}





.sldb-condition {
  /* sldb-condition-face */
  font-weight: bold;
}
.sldb-frame-label {
  /* sldb-frame-label-face */
  color: #888;
}
.sldb-frame-line {
}
.sldb-restart {
  /* sldb-restart-face */
  color: #8b008b;
}
.sldb-restart-number {
  /* sldb-restart-number-face */
  color: #8b008b;
  font-weight: bold;
}
.sldb-restart-type {
  /* sldb-restart-type-face */
  color: #8b008b;
}
.sldb-section {
  /* sldb-section-face */
  color: #00008b;
  font-weight: bold;
}
.sldb-topline {
  /* sldb-topline-face */
  color: #8b0000;
  font-weight: bold;
}