From d2204d2fdfed2346a3b6b008ad9a01f693f8c9a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Wed, 12 Jun 2024 11:00:25 +0200 Subject: config/astroid: remove ui hacks --- config/astroid/ui/part.scss | 122 -------------------------------------------- 1 file changed, 122 deletions(-) delete mode 100644 config/astroid/ui/part.scss (limited to 'config/astroid/ui/part.scss') diff --git a/config/astroid/ui/part.scss b/config/astroid/ui/part.scss deleted file mode 100644 index 760a0bb..0000000 --- a/config/astroid/ui/part.scss +++ /dev/null @@ -1,122 +0,0 @@ -/* ui-version: 5 (do not change when modifying theme for yourself) */ -/* Fonts */ -@if not(global-variable-exists(font-base-size)) { - $font-base-size: 16px !global; -} - -@if not(global-variable-exists(font-mono)) { - $font-mono: monospace !global; -} - -@if not(global-variable-exists(font-sans)) { - $font-sans: sans-serif !global; -} - -@if not(global-variable-exists(font-family-default)) { - $font-family-default: $font-sans !global; -} - -body { - background-color: white !important; - color: black; - overflow-x: auto; - //overflow-y: hidden; - word-break: break-word; - word-wrap: break-word; - - font-size: $font-base-size; - font-family: $font-family-default; - margin: 0 0 0 0; - text-align: left; -} - -.search_coloring *::selection { - background-color: #00ddff; -} - -blockquote { - margin: 0px 10px 0px 10px; - padding-left: 15px; - padding-right: 15px; - border: 0; - /*border-left: 3px #aaa solid;*/ - border-left: #5555EE solid 0.2em; - color: #5555ee; -} - -blockquote.level_001 { - margin-bottom: 0px; - margin-top: 0px; -} - -blockquote > blockquote { - border-left: #425c78 solid 0.2em; - color: #425c78; - margin-left: 0; -} - -blockquote > blockquote > blockquote { - border-left: #729fcf solid 0.2em; - color: #729fcf; -} - -blockquote > blockquote > blockquote > blockquote { - border-left: #5555EE solid 0.2em; - color: #5555ee; -} - -blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #425c78 solid 0.2em; - color: #425c78; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #729fcf solid 0.2em; - color: #729fcf; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #5555EE solid 0.2em; - color: #5555ee; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #425c78 solid 0.2em; - color: #425c78; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #729fcf solid 0.2em; - color: #729fcf; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #5555EE solid 0.2em; - color: #5555ee; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #425c78 solid 0.2em; - color: #425c78; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #729fcf solid 0.2em; - color: #729fcf; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #5555EE solid 0.2em; - color: #5555ee; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #425c78 solid 0.2em; - color: #425c78; -} - -blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote > blockquote { - border-left: #729fcf solid 0.2em; - color: #729fcf; -} - -- cgit v1.2.3