@charset "utf-8";

body {
	line-height:30px;
	 margin:17px;
}

h1 {
	font-size:30px;
	text-align:center;
}

pre {
	font-size:17px;
	white-space: pre-wrap ;
	font-family:serif;
}