@font-face {
    font-family: "Serif Pixel-7";
    src: url(/res/fonts/serif_pixel-7.ttf) format("truetype");
}

@font-face {
    font-family: "Pixel Times";
    src: url(/res/fonts/vertopal.com_TimesNewRoman-15.ttf)
}

@font-face {
    font-family: "Pixel Times";
    font-weight: bold;
    src: url(/res/fonts/vertopal.com_TimesNewRomanPS-BoldMT-15.ttf);
}

ul.tree-view.no-border {
    background: unset !important;
    box-shadow: unset !important;
    display: block;
    margin: 0;
    padding: 0 !important;
}

body {
    font-family: "Pixel Times", serif !important;
    letter-spacing: normal;
}

h1, h2, h3, h4, h5, h6 {
    font-family: "Times New Roman", serif !important;
    letter-spacing: normal;
}

.ms-sans-serif {
    font-family: "Pixelated MS Sans Serif", sans-serif !important;
    letter-spacing: normal;
}

b {
    font-size: inherit;
    font-family: inherit;
}

small {
    font-family: "Serif Pixel-7", serif !important;
    font-size: 10px !important;
    letter-spacing: normal;
}

body {
    background-color: #fff;
    min-height: 100vh;
    color: #000;
}

h3 {
    margin-bottom: -10px;
}

h4 {
    font-size: large;
    margin-bottom: -10px;
}

article {
    font-size: 15px;
}

.text {
    filter: grayscale();
    /* improves readability */
}

.images {
    margin: 10px;
    float: right;
}

.antipixel {
    image-rendering: pixelated;
}

.images {
    margin: 10px;
    float: right;
    position: relative;
    z-index: 1000;
}