Fix line-height change from hover

Partial solution to #5448. Fixes changing `line-height` but there are still tiny discrepancies in overall size.
jashkenas · May 11, 2023 · 0463f69 · 0463f69
1 parent 98a2331
commit 0463f69
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/v2/index.html b/docs/v2/index.html
@@ -50,6 +50,7 @@
   white-space: pre-wrap;
 }
 .CodeMirror pre,
+.CodeMirror pre.CodeMirror-line,
 pre.placeholder-code {
   line-height: 1.4em;
 }

diff --git a/documentation/site/code.css b/documentation/site/code.css
@@ -30,6 +30,7 @@
   white-space: pre-wrap;
 }
 .CodeMirror pre,
+.CodeMirror pre.CodeMirror-line,
 pre.placeholder-code {
   line-height: 1.4em;
 }