body {
  font-family: sans-serif;
}

ul li {
	list-style-type: circle;
}

ul li ul li {
	list-style-type: disc ;
}

ol li {
  list-style-type: decimal;
}

strong.userinput code {
	border-bottom: 1px solid #ccc;
}

code.filename, span.application, span.emphasis, acronym {
  font-weight: bold;
}

pre {
	background-color: #666;
	padding: 10 0 10 10;
	border: 1px solid #aaa;
  margin: 10 0.5in;
}

pre.programlisting {
	background-color: #666;
	color: #eee;
	border-left: 5px solid #0a0;
}

pre.programlisting pre.programlisting {
	padding: 0;
	margin: 0;
  border: 0;
}

pre.screen {
	background-color: #eee;
	border-left: 5px solid #aa0;
}

div.caution, div.important, div.note, div.tip, div.warning {
	border: 1px solid #aaa;
	border-left: 5px solid #a0a;
	padding-bottom: 5px;
}

div.figure-contents img {
  margin-left: 0.5in;
  border: 0px solid #000;
}

a:visited { color: blue; } 

div.variablelist dd {
  background-color: #eee;
  border: 1px solid #aaa;
  padding: 5px;
  margin-bottom: 10px;
}

table {
	border-collapse: collapse;
}

div.wrap {
  background: url("images/copyleft.jpg") no-repeat;
}