@charset "utf-8";
/* <akaMarker> */

body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 0.7em;
}

div.tool textarea {
	font-family: Arial, Helvetica, sans-serif;
}

pre {
	font-size: 1.0em;
}
/* </akaMarker> */