body {
	background: #efefef;
	font-size: 12px;
}

img.gnu {
	text-align: right;
	width: 10%;
	height: 10%;
}

p.intro { 
	color: #0000FF;
	font-size: 11pt;
	font-style: italic;
	font-variant: small-caps;
	text-decoration: line-through;
}

span.big {
	font-size: 120%;
}

h3.subtitle {
	color: #FF0000;
	text-decoration: underline;
}

ol {
	margin-left: 30px;
	margin-top: 5px;
}

ol li {
	background-color: #FF0000;
	color: #ffffff;
	border-right: 3px solid #0000ee;
}

ul li {
	background-color: #FFFFFF;
	color: #555555;
	border-width: 0 0 1px 1px;
	border-style: solid;
	border-color: #222222;
}

dd {
	text-align: right;
	border-right: 1px solid #FF0000;
	border-bottom: 1px solid #FF0000;
}

pre.ramka {
	float: right;
	border: 1px dotted #000000;
	padding: 20px;
	min-width: 300px;
	max-width: 600px;
	background-image: url("eclipse.jpg");
	background-repeat: repeat-x;
	color: #FF0000;
}

pre b {
	font-weight: bold;
	color: #0000FF;
}

div.headers {
	width: 300px;
	border: 1px solid #83912d;
	margin: 5px auto 0px auto;
}

A:link {
	text-decoration: underline;
	color: #0b0b0b;
}

A:active {
	text-decoration: underline;
	color: #0b0b0b;
}

A:hover {
	text-decoration: underline;
	color: #0b0b0b;
}

A:visited {
	text-decoration: underline;
	color: #FFAA77;
}