

body {;
margin: 0px auto;
width: 50%;
max-width: 3840px
position: relative;
padding: 10px;
font-family: Arial, sans-serif;
}

p, pre {
font-size: 110%;
}
