From d23058e36906f1982b2a09bd5091b1beb62d9d19 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Mon, 23 May 2022 14:24:41 +0200
Subject: [PATCH] theme: fix display of tooltip for heading anchor #241

broken in #224
---
 static/css/print.css | 4 +++-
 static/css/theme.css | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/static/css/print.css b/static/css/print.css
index 76911af1e0..226bf2f39e 100644
--- a/static/css/print.css
+++ b/static/css/print.css
@@ -62,11 +62,13 @@ pre {
 #body code, #body strong, #body b,
 #body li, #body dd, #body dt,
 #body p,
-#body .anchor,
 #body a {
     /* better contrast for colored elements */
     color: black;
 }
+#body .anchor{
+    display: none;
+}
 #body pre,
 #body code {
     background-color: white;
diff --git a/static/css/theme.css b/static/css/theme.css
index eb6c493881..f951428764 100644
--- a/static/css/theme.css
+++ b/static/css/theme.css
@@ -1403,7 +1403,8 @@ option {
     cursor: pointer;
     font-size: .5em;
     margin-left: .66em;
-    vertical-align: middle;
+    margin-top: .9em;
+    position: absolute;
     visibility: hidden;
 }