.command, .commandline, .listing {
	font-family: 'Courier New',Courier,monospace;
}

.commandline, .listing {
	white-space: pre;
}

.commandline {
	margin: 1em 0 1em 1em;
}

.listing {
	margin: 0.75em 0;
	padding: 0.5em;
}

.listing .keyword {
	font-weight: bold;
}

.menupath, .guielement {
	font-family: 'Palatino Linotype',Palatino,'Times New Roman',Times,serif;
	font-style: italic;
}

.version {
	font-weight: bold;
}