fix monaco editor issues with popups

2022-02-09 13:04:41 +02:00
parent 241c21782d
commit 43796021da
1 changed files with 11 additions and 0 deletions
--- 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;
+}