.johnsonbox {
	border: 4px dashed #FF0000;
}
body {
	font-family: "Courier New", Courier, mono;
	font-size: 14px;
}