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