@charset "utf-8";
body {
	font-family:Arial, Helvetica, sans-serif;
	font-size:0.75em;
}
code {
	font-size:1.25em;
}