From 295cb4541c0b00653e835bf3b82f514e5503034a Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sun, 1 Aug 2021 21:33:59 +0300
Subject: [PATCH] reduce margins for closed `details`

to provide more space for sections/issues
---
 edit/edit.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/edit/edit.css b/edit/edit.css
index e177a982..d8f33b30 100644
--- a/edit/edit.css
+++ b/edit/edit.css
@@ -256,7 +256,7 @@ input:invalid {
   flex-grow: 1;
 }
 
-#header details {
+#header details[open] + details[open] {
   margin-top: .5rem;
 }
 
@@ -827,7 +827,8 @@ body:not(.find-open) [data-match-highlight-count="1"] .CodeMirror-selection-high
 /************ lint ************/
 #lint {
   overflow: hidden;
-  margin: .5rem -1rem 0;
+  margin-left: -1rem;
+  margin-right: -1rem;
   padding: 0;
   box-sizing: border-box;
   display: flex;