From 28d255a2294d49513590c61ee0772038a52c0f567b7e17563d21628dd017a96e Mon Sep 17 00:00:00 2001 From: Matej Focko Date: Mon, 5 Aug 2024 18:28:59 +0200 Subject: [PATCH] feat: add ismu style Signed-off-by: Matej Focko --- README.md | 1 + ismu.user.css | 54 +++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 55 insertions(+) create mode 100644 ismu.user.css diff --git a/README.md b/README.md index 6b533c0..14e4150 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ ## List of available styles +* [ismu](./ismu.user.css) * [mikrotik](./mikrotik.user.css) * [notion](./notion.user.css) * [pagure](./pagure.user.css) diff --git a/ismu.user.css b/ismu.user.css new file mode 100644 index 0000000..b6e7499 --- /dev/null +++ b/ismu.user.css @@ -0,0 +1,54 @@ +/* ==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 +@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; + */ + } +}