@charset "UTF-8";


body {
margin: 20px;
padding: 0;
background-color: #ffffff;
color: #000000;
}

h1 {
font-size: 200%;
}

h2 {
font-size: 150%;
}

pre {
padding: 10px;
font-size: 100%;
}