.hohoho {
	font-family: "Courier New", Courier, mono;
	font-size: small;
	font-weight: bold;
	color: #833E00;
}