From f3e60081da94d34a562ff132abb9bcaa21df3d19 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Sun, 19 Nov 2023 02:42:58 +0100
Subject: [PATCH] theme: remove unimportant stuff

---
 static/css/format-print.css | 5 -----
 static/css/theme.css        | 6 +++---
 2 files changed, 3 insertions(+), 8 deletions(-)

diff --git a/static/css/format-print.css b/static/css/format-print.css
index 41720844dd..a5881b923a 100644
--- a/static/css/format-print.css
+++ b/static/css/format-print.css
@@ -76,11 +76,6 @@ pre:not(.mermaid) {
 hr{
     border-bottom: 1px solid rgba( 221, 221, 221, 1 );
 }
-body,
-#R-body,
-#R-body-inner {
-    overflow: visible !important; /* turn off limitations for perfect scrollbar */
-}
 #R-body #R-body-inner {
     /* reset paddings for chapters in screen */
     padding: 0 3.25rem 4rem 3.25rem;
diff --git a/static/css/theme.css b/static/css/theme.css
index 085eed2c7b..3a0628a916 100644
--- a/static/css/theme.css
+++ b/static/css/theme.css
@@ -309,7 +309,7 @@ dd {
     font-size: 2rem;
     font-weight: 200;
     letter-spacing: -.02175em;
-    line-height: 110% !important;
+    line-height: 110%;
     margin: 1.2rem 0 .8rem 0;
     padding-inline-start: 1rem;
     text-rendering: optimizeLegibility;
@@ -371,8 +371,8 @@ dd {
 }
 
 #R-body img:not(.lightbox-image).inline {
-    display: inline !important;
-    margin: 0 !important;
+    display: inline;
+    margin: 0;
     vertical-align: bottom;
 }