BODY {
	BACKGROUND-COLOR: white;
	FONT-FAMILY: Georgia, "Times New Roman", Times, serif;
	MARGIN: 0.5cm 4.5cm 0.2cm 4.5cm;
}
.indentedbody {
	margin-left: 40px;
}
A:link {
	COLOR: #660033;
	TEXT-DECORATION: underline;
}
A:visited {
	COLOR: #800000;
	TEXT-DECORATION: underline;
}
A:active {
	COLOR: #d00000;
	TEXT-DECORATION: underline;
}
a:visited {
	COLOR: #660033;
	TEXT-DECORATION: underline;
}
.map {
	font-size : 75%;
}
p {
	line-height: 120%;
}
.kbdplain {
	font-family: "Courier New", Courier, monospace;
}
.kbdbold {
	font-family: "Courier New", Courier, monospace;
	font-weight: bold;
}
.kbdcommand {
	font-family: "Courier New", Courier, monospace;
	margin-left: 20px;
	font-size: small;
	font-weight: bold;
}