body {
  color: black;
  font-family: arial,sans-serif;
  margin: 0;
  padding: 2ex 2em;
}

div#header {
	width:100%;
	background: #fafafa;
	padding: 1.5ex 0em;
	margin: 0 0 3ex 0;
	border-style: solid;
	border-width: 1px 0;
	border-color: #1c1cc9;
	text-align: center;
}

div#toc {
    background: #fafafa;
    font-size: smaller;
    width: 14em;
	float:right;
	padding: 1.5ex 1.5em;
	margin: 0 0 0 2em;
	border-width: 0px;
	border-style: solid;
	border-color: #1c1cc9;
}

div#toc h1 {
  color: #5c5c5c;
  font-size: 135%;
  font-weight: bold;
  text-align: center;
  border-style: solid;
  border-width: 0 0 1px 0;
  border-color: #1c1cc9;
  margin: 0 0 2ex 0;
}

div#toc h2 {
  color: #5c5c5c;
  font-size: 115%;
  font-weight: bold;
  border: none;
}

div#toc ul {
  list-style-type: none;
  padding: 0;
}

div#toc li {
}

pre {
  background: #eeeeee;
  border: 1px solid #888888;
  color: black;
  padding: 1em;
  white-space: pre;
}

pre.titleclaim {
  background: transparent;
  border: none;
  color: green;
  padding: 0 1em;
  white-space: pre;
}

h1 {
  background: transparent;
  color: #5c5c5c;
  font-size: 120%;
  font-weight: bold;
}

h1 .basename {
  color: #0000aa;
}

h2      {
  font-size: 115%;
  font-weight: bold;
  color: #5c5c5c;
  border-style: solid;
  border-width: 0 0 3px 0;
  border-color: #eeeeee;
  margin: 15px 0 0 0;
}

h3      {
  background: transparent;
  color: #5c5c5c;
  font-size: 100%;
}

h4      {
  background: transparent;
  color: #5c5c5c;
  font-size: 1em;
  font-weight: normal;
}

a {
  text-decoration: none;
  color: #0000aa;
}
a:visited {
  color: #0000aa;
}
a:hover {
  color: #0000aa;
  text-decoration: underline;
}

h1 a {
  text-decoration: none;
  color: #5c5c5c;
}
h1 a:visited {
  color: #5c5c5c;
}
h1 a:hover {
  color: #0000aa;
  text-decoration: none;
}

h2 a { text-decoration: none; }
h3 a { text-decoration: none; }
h4 a { text-decoration: none; }

span.keyword {color: #f00}
span.keyword2 {color: #808}
span.number {color: #00f}
span.identifier {color: #66a}
span.function {color: #0055bb}
span.method {color: #0055bb}
span.variable {color: #000099}
span.statement {color: #f00}
span.comment {color: #080}
span.perlpod {color: #080}
span.quote {color: #66a}
span.wquote {color: #006}
span.value {color: #66a}
span.regexp_statement {color: #5c5c5c}
span.tag {color: #f00}
span.url {color: #f00; text-decoration: underline}