/* ==UserStyle==
@name           IS MU
@namespace      git.mfocko.xyz/mfocko/usercss
@updateURL      https://git.mfocko.xyz/mfocko/usercss/raw/branch/main/ismu.user.css
@version        1.1.1
@description    Enlarge font size in notepads and change layout on smaller display.
@author         mfocko <me@mfocko.xyz>
@preprocessor   stylus
==/UserStyle== */

@-moz-document domain("is.muni.cz") {
    .zu_pozn_blok {
        font-size: 15px;
    }

    .hide-for-1280-only {
        display: inline !important;
    }

    @media only screen and (min-width: 0px) {
        .left_menu_enabled #rows_wrapper {
            max-width: calc(100% - 200px);
            margin-left: 200px;
            margin-right: 0;
        }

        .left_menu_enabled #left_menu {
            left: -230px;
        }

        .left_menu_enabled #sticky_panel,
        .left_menu_enabled #rows_wrapper footer,
        .left_menu_enabled #rows_wrapper footer a.skip_up {
            margin-left: -200px;
            padding-left: 200px;
        }

        .left_menu_enabled .toolkit_expand.is_expanded .content_row {
            margin-left: -200px;
        }
    }
}

@-moz-document regexp("https://is.muni.cz/.*/(IB111|PB161)/.*\\.(py|cpp)(\\.html)?") {
    body {
        transform-origin: center;
        transform: translateX(calc(100% / 3));

        /*
        margin-left: 45em;
        margin-right: 45em;
        */
    }
}