body {
    font-family: sans-serif;
    font-size: 10pt;
}

h1.logo {
    border: none;
    font-size: 50pt;
    font-weight: bold;
    text-align: center;
}

h1, h2 {
    font-weight: normal;
}

h1 {
    border-bottom: 1px gray solid;
}

div.page {
    width: 100%;
}

div.container {
    margin-left: auto;
    margin-right: auto;
    max-width: 40em;
    background-image: url("background.png");
    padding: 1em;
    border: 1px black solid;
}

img {
    border: none;
}

p {
    text-align: justify;
}

p.abstract {
    font-size: 12pt;
    text-align: center;
}

p.code {
    margin-left: 2em;
    margin-right: 2em;
}

.code {
    font-family: monospace;
    font-size: 90%;
    background-color: #dddddd;
}

.desc {
    font-size: 8pt;
    color: #666666;
}