/* common definitions, such as colors */
* {
    /* colors, picked randomishly off gajumining.com */
    --white:    #f7f8fb;
    /* black */
    --black:    #1a2b29;

    /* fonts */
    --sfdefault:        Helvetica, "Liberation Sans", FreeSans, Roboto, sans-serif;
    --ttdefault:        Inconsolata, "Liberation Mono", "Roboto Mono", monospace;
    --def-line-height:  1.4;
}


body {
    background: var(--white);
    color: var(--black);
    font-family: var(--sfdefault);
    font-size: 12pt;
    margin: 0;
    padding: 0;
    line-height: var(--def-line-height);
}

.content {
    max-width: 800px;
    margin: 0 auto;
}

.toc2 { margin-left: 8px; }
.toc3 { margin-left: 16px; }
.toc4 { margin-left: 24px; }
.toc5 { margin-left: 32px; }