From 43796021da850828e06cc4902b73186b04751c54 Mon Sep 17 00:00:00 2001
From: Joni Juup <jonijuup@gmail.com>
Date: Wed, 9 Feb 2022 13:04:41 +0200
Subject: [PATCH 1/3] fix monaco editor issues with popups

---
 styles/globals.css | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/styles/globals.css b/styles/globals.css
index 67f83a5..a890944 100644
--- a/styles/globals.css
+++ b/styles/globals.css
@@ -39,3 +39,14 @@ html.light .gutter-vertical:hover {
 html.light .gutter-horizontal:hover {
   background-color: rgba(0, 0, 0, 0.25);
 }
+
+/* Adjust Monaco tooltip stylings */
+.markdown-hover h3 {
+  margin: 0;
+}
+.markdown-hover hr {
+  margin: 8px 0;
+}
+.monaco-hover {
+  z-index: 9999;
+}

From f9d617efdc6f5ddc71f91782d8790d122c41ca4c Mon Sep 17 00:00:00 2001
From: Joni Juup <jonijuup@gmail.com>
Date: Wed, 9 Feb 2022 13:09:36 +0200
Subject: [PATCH 2/3] more specific css rule for hr

---
 styles/globals.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/styles/globals.css b/styles/globals.css
index a890944..01282ce 100644
--- a/styles/globals.css
+++ b/styles/globals.css
@@ -44,7 +44,7 @@ html.light .gutter-horizontal:hover {
 .markdown-hover h3 {
   margin: 0;
 }
-.markdown-hover hr {
+.monaco-editor .monaco-hover hr {
   margin: 8px 0;
 }
 .monaco-hover {

From eddf22828324069f613a64263507743ee3989bff Mon Sep 17 00:00:00 2001
From: Joni Juup <jonijuup@gmail.com>
Date: Wed, 9 Feb 2022 13:14:17 +0200
Subject: [PATCH 3/3] more specific rule for the box itself

---
 styles/globals.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/styles/globals.css b/styles/globals.css
index 01282ce..02bb2d4 100644
--- a/styles/globals.css
+++ b/styles/globals.css
@@ -47,6 +47,6 @@ html.light .gutter-horizontal:hover {
 .monaco-editor .monaco-hover hr {
   margin: 8px 0;
 }
-.monaco-hover {
+.monaco-editor .monaco-hover {
   z-index: 9999;
 }