body {
    margin:20px auto;
    padding:0 20px;
    max-width:700px;
    line-height:1.5;
    font-size:18px;
    font-family:helvetica,arial,sans-serif;
}

body.article {
    font-size:18px;
    line-height:1.8;
    letter-spacing:.3px;
}

div.container {
}

h1,h2,h3 {
    line-height:1.2;
}

pre {
    font-family:monospace, monospace;
    overflow-y:auto;
    white-space:pre;
    font-size:14px;
    line-height:1.1;
    margin-left:15px;
    border-width:0 0 0 1px;
    border-color:gray;
    padding-left:10px;
    padding-bottom:10px;
    padding-top:10px;
    border-style:solid;
}

div.footer {
    margin-top:40px;
    line-height:0.5;
    font-size:12px;
    color:#404040;
}

table {
    border-collapse: collapse;
    margin-left: auto;
    margin-right: auto;
}

td, th {
    border: 1px solid black;
    padding: 4px;
}