Fix line-height change from hover (#5449)

* Fix line-height change from hover Partial solution to #5448. Fixes changing `line-height` but there are still tiny discrepancies in overall size. * Rebuild for 2023
jashkenas · May 11, 2023 · 8984dd3 · 8984dd3
1 parent 98a2331
commit 8984dd3
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 4 deletions.
diff --git a/docs/v2/browser-compiler-legacy/coffeescript.js b/docs/v2/browser-compiler-legacy/coffeescript.js
diff --git a/docs/v2/browser-compiler-modern/coffeescript.js b/docs/v2/browser-compiler-modern/coffeescript.js
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;
 }

diff --git a/lib/coffeescript-browser-compiler-legacy/coffeescript.js b/lib/coffeescript-browser-compiler-legacy/coffeescript.js
diff --git a/lib/coffeescript-browser-compiler-modern/coffeescript.js b/lib/coffeescript-browser-compiler-modern/coffeescript.js