/* Style for screen display */

a {
  color: #7f0000;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

blockquote {
  font-style: italic;
  font-size: smaller;
}

body {
  background-image: url("images/background.jpg");
  background-repeat: no-repeat;
  background-attachment: fixed;
	margin: 0em;
	padding: 0em;
}

h1 {
  margin: 0em;
}

h2 {
  margin-top: 2em;
}

div.leftColumn {
  top: 4em;
  left: 0em;
	margin: 0em;
  position: absolute;
	width: 11em;
}

div.linkBox {
	/*background-color: #f0f0f0;*/
  background-image: url("images/background-red.jpg");
  background-repeat: no-repeat;
  background-attachment: fixed;
	border: dotted 1px #000000;
	border-left: 0px;
  color: #000000;
  font-size: 11px;
	margin-top: 1em;
	padding: 4px;
}

div.linkBox h1 {
  font-size: 13px;
  font-weight: normal;
  margin: 0em;
}

div.linkBox ul {
  margin: 0em;
  margin-left: 2em;
  padding: 0em;
}

div.centerColumn {
  margin: 1em;
  margin-left: 12em;
}

div.content {
  background: #f7f7f7;
  border: solid 1px #66ccff;
  margin: 0em;
  padding: 1em;
}

div.toc {
  background: #f0f0f0;
  border: solid 1px #66ccff;
  float: right;
  margin: 1em;
  padding: 1em;
}

div.toc h2 {
  font-size: large;
  margin: 0em;
  margin-bottom: 1ex;
}

div.toc ul {
  font-size: medium;
  margin: 0em;
  margin-left: 1em;
  padding: 0em;
}

div.footer {
  margin-top: 2px;
  text-align: left;
  font-size: 8px;
}

div.code {
  background-color: #ffffff;
  border: solid 1px #cccccc;
  font-family: monospace;
  padding: 5px;
  white-space: pre;
}

ul.richlist li {
  padding: 1ex;
}

div.illustration {
  border: solid 1px #cccccc;
  font-size: smaller;
  float: right;
  margin: 1ex;
  padding: 1ex;
  text-align: center;
  width: 120px;
}

div.textbox {
  border: solid 1px #cccccc;
  float: left;
  margin: 1ex;
  padding: 1ex;
  text-align: left;
  width: 300px;
}

pre {
  margin: 0em;
}

span.code {
  font-family: monospace;
}

span.galleryheaderselected {
  background-color: #aaaaaa;
}

table {
  border: 0px;
  margin: 0px;
  padding: 0px;
  text-align: center;
}

td {
  background-color: #ffffff;
}

td.galleryheader {
  background-color: #cccccc;
  text-align: center;
}