body
{
	font-family: Verdana, Helvetica, sans-serif;
	font-size: smaller;
	background-color: white;
	color: black;
	margin-left: 1cm
}

.news, #newsinside {
	font-size: smaller;
	background: #eec;
}

#tocinside {
	font-size: smaller;
	background: #d3eecc;
}

h2 {text-indent:12px}
h3 {text-indent:24px}
h4 {text-indent:36px}

div.optional {
	padding: 24px;
}

div.code, span.code
{
	background-color: #C0C0C0;
	font-family: "courier new", courier, "lucida console", monospace;
}
pre, code {
	padding: 1px;
	background-color: #C0C0C0
}

div.noncode,span.noncode
{
	font-family: Verdana, Helvetica, sans-serif;
	font-size: smaller;
	background-color: white
}
div.img
{
	text-align: center;
	font-size: smaller;
	font-weight: bold;
	margin-right:20%;
	margin-left:20%;
}
img.framed
{
	padding: 10px;
	background-color: #C0C0C0;
}
table.framed
{
	border-style: solid;
	border-color: #C0C0C0;
	border-width: 10px;
	margin-left: auto; 
	margin-right: auto;
}
span.prompt {color: #8A2BE2; font-weight: bold}
span.accesskey {text-decoration:underline;}

table {border-width: thin; padding: 1px}
.color {background-color: #00CC66}
td {vertical-align: top; background-color: white}

input.fill {width: 100%}

.explain {font-size:smaller; text-indent:12px}

a:hover {background: #D3D3D3}

abbr, acronym {
	cursor:help;
	border-bottom: 1px dotted #000;
}

dfn { color: #00513D; }
dt {
	color: #00513D;
	font-weight: bold;
	font-size: 130%;
	margin: 1em;
}