From 8b67eb885d78c0a76070f254dd8aef1e4a8dc188 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 23 Oct 2021 23:56:38 +0300
Subject: [PATCH] fix compact usercss height + vcenter fixed header

---
 edit/edit.css | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/edit/edit.css b/edit/edit.css
index 61f52e65..9500178f 100644
--- a/edit/edit.css
+++ b/edit/edit.css
@@ -988,9 +988,18 @@ body.linter-disabled .hidden-unless-compact {
   margin-top: .75rem;
 }
 
+.single-editor {
+  position: relative;
+  height: 100%;
+}
 .single-editor .CodeMirror {
-  width: 100%;
-  height: 100vh; /* WARNING! Don't use 100% as it's dead slow */
+/* WARNING! If you change this or .single-editor make sure editor opens huge styles like GitHub Dark instantly */
+  position: absolute;
+  top: 0;
+  left: 0;
+  right: 0;
+  bottom: 0;
+  height: auto;
   border: none;
   outline: none;
 }
@@ -1038,10 +1047,11 @@ body.linter-disabled .hidden-unless-compact {
     padding: .5rem 1rem .5rem .5rem;
   }
   .fixed-header {
+    --fixed-height: 40px;
     padding-top: var(--fixed-padding);
   }
   .fixed-header #header {
-    min-height: 40px;
+    min-height: var(--fixed-height);
     position: fixed;
     top: 0;
     left: 0;
@@ -1053,6 +1063,9 @@ body.linter-disabled .hidden-unless-compact {
   .fixed-header #options {
     display: none !important;
   }
+  .fixed-header #details-wrapper {
+    padding-top: calc((var(--fixed-height) - 1.2rem) / 2); /* 1.2 is the normal line height */
+  }
   #header summary + *,
   #lint > .lint-scroll-container {
     margin-left: 1rem;