BODY
{
  margin-top:1cm;
  background-color: #FFFBF0;
  color:black;
  margin-left: 1cm;
  margin-right: 1cm;
}

H1
{
  margin-left: 1cm;
  margin-right: 1cm;
  text-align: left;
  font: bold italic 150% sans-serif;
  color: red;
}

LI
{
	margin-bottom: 1em;
}

TT
{
	font-family: "Lucida Console", Serif;
}

DIV.CODE1
{
	font-family: "Lucida Console", Serif;
	padding: 1em;
}


pre
{
	font-family: lucida console;
	margin: 3em;
	background: silver;
}

pre.highlighted
{
	background: yellow;
}