/* Display everything */
div.full-version {
    display: initial;
}

div.short-version {
    display: none;
}

/* Using computer font */
body {
    font-family: "DejaVu Sans Mono", monospace;

    * {
        font-family: "DejaVu Sans Mono", monospace;
    }

}

@media print {
    body {
        font-family: "DejaVu Sans Mono", monospace !important;
    }
}

@media screen and (min-width:800px) {
    h1 {
        font-size: 17pt !important;
    }

    h2 {
        font-size: 15pt !important;
    }

    h3 {
        font-size: 13pt !important;
    }

    table, p, li {
        font-size: 13pt !important;;
    }
}

@media screen and (min-width:500px) and (max-width:800px) {
    h1 {
        font-size: 15pt !important;
    }

    h2 {
        font-size: 13pt !important;
    }

    h3 {
        font-size: 11pt !important;
    }

    table, p, li {
        font-size: 11pt !important;;
    }
}

@media screen and (max-width:500px) {
    h1 {
        font-size: 13pt !important;
    }

    h2 {
        font-size: 11pt !important;
    }

    h3 {
        font-size: 9pt !important;
    }

    table, p, li {
        font-size: 9pt !important;;
    }

}