@charset "utf-8";
/* CSS Document */

.code {
	font-family: "Courier New", Courier, monospace;
}

.highlight {
	font-size: large;
	color: #FF0000;
}