body {
    background-color: #b0b3c5;
    width: 75%;
    margin-left: 100px;
}

h1, h2 {
    margin-top: 1cm;
    background-color: #6a6f95;
}

p.quote {
    /* font-size: large ; */
    font-style: italic;
    font-family: times;
    text-indent: 1cm;
    padding: 10px;
    margin-left: 2cm;
    margin-right: 2cm;
}

p.license {
    font-family: courier;
    background-color: #cccccc;
    padding: 10px;
    font-size: normal;
}

pre {
    font-family: courier;
    background-color: #cccccc;
    padding: 10px ;
}


p.footer {
    margin-top: 2cm;
    border-top: solid;
    font-style: italic;
}

table {
    font-family: Monospace;
}
th {
    font-weight: bold;
    text-align: left;
}
td {
    padding-left: 2em;
}