body {
        margin-left: 10%;
        margin-right: 10%;
        font-family: Times, serif;
        font-size: 120%;
	text-align: justify;
}
pre {
        font-family: Courier New, monospace;
        font-size: 130%;
}