@font-face {
    font-family: LinuxBiolinum;
    src: url('font/LinBiolinum_R.otf');
}

body {
    font-family: LinuxBiolinum;
    font-variant-numeric: oldstyle-nums;
    font-size: 130%;
    color:white;

    max-width: 900px;
    margin-left: auto;
    margin-right: auto;
    padding-left: 20px;
    padding-right: 20px;

    background-color: rgb(10, 10, 10);

    text-rendering: optimizeLegibility;
    -webkit-font-smoothing: subpixel-antialiased;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

a:link, a:visited {
    /*color: blue;*/
    color: white;
    text-decoration: underline;
}

a:hover {
/*
    color: #43bff0;
*/
    color: #900;
/*
    background-color: #fee;
*/
    background-color: rgb(255, 233, 233);
    border-bottom: none;
}

span.nobr {
    white-space: nowrap;
}

.title {
    /*font-size: 130%;*/
    font-variant: small-caps;
    font-variant-numeric: oldstyle-nums;
}

.section {
    font-size: 170%;
    font-variant: small-caps;
    font-variant-numeric: oldstyle-nums;
}