#mainContent div.warning {
	padding: 10px;
	margin: 1em auto;
	border: 1px solid #ccc;
	width: 300px;
	background-color: #fffdde;
}
#mainContent code.command {
    background-color: #d3f1fa;
}