span.command {
	font-family: monospace;
	font-weight: bold;
}
span.filename, .url {
	font-family: monospace;
}