body {
	background-image: url(./stuff/bkg.png);
  color:#ffffff;
}

code {
  font-size: 0.9em;
}

pre {
  font-size: 0.9em;
}

h1 {
  font-family: Arial, Helvetica, sans-serif;
  font-size:18pt;
  color:#ddddff;
  margin-bottom:2px;
}

h2 {
  font-family: Arial, Helvetica, sans-serif;
  font-size:14pt;
  color:#ddeeff;
  margin-left:0.25em;
  margin-bottom:2px;
}

h3 {
  font-family: Arial, Helvetica, sans-serif;
  font-size:12pt;
  font-weight:bold;
  color:#ffffff;
  margin-left:0.75em;
  margin-bottom:2px;
}

p {
  margin-left: 1em;
  margin-top: 0.5em;
  margin-bottom:2px;
  font-family: Garamond, Times New Roman, Times, serif;
  font-size:12pt;
}

a:link {
  color:#bbbbff;
}

a:visited {
  color:#ccaaff;
}

a:hover {
  color:#ffffff;
}

li {
  font-family: Garamond, Times New Roman, Times, serif;
  font-size:12pt;
}
ol {
  margin-top:2px;
}
ul {
  margin-top:2px;
}

div.highlight {
  background-image: url(./stuff/highlight-bkg.png);
  margin-left: 15px;
  padding: 8px;
  border-left: medium groove rgb(221,255,255);
  border-top: medium groove rgb(221,255,255);
}