* {
	color: #600;
}

p {
	margin-bottom: 1em;
}


.red {
	color: #f00;
}

.highlight {
	font-size: large;
	font-weight: bold;
	color: #600;
}

.none {
	color: #600;
}