Skip to content

Commit 6fd6d7d

Browse files
committed
Add div margin styles to improve vertical spacing of typeset maths. Remove \> controls (tabs), which don't seem to serve any useful purpose, using katexMacros.
1 parent 211db6a commit 6fd6d7d

1 file changed

Lines changed: 3 additions & 2 deletions

File tree

src/fjwright/runreduce/REDUCEPanel.java

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ public void log(String message) {
128128
webEngine.loadContent("<!DOCTYPE html><html><head>" +
129129
"<link rel='stylesheet' href='" + REDUCEPanel.class.getResource("katex/katex.min.css") + "'>" +
130130
"<script src='" + REDUCEPanel.class.getResource("katex/katex.min.js") + "'></script>" +
131-
"<style>pre{margin:0}</style>" +
131+
"<style>pre{margin:0}div{margin-top:-1em;margin-bottom:2em}</style>" +
132132
"</head><body></body></html>");
133133
webEngine.getLoadWorker().stateProperty().addListener(
134134
(ov, oldState, newState) -> {
@@ -192,7 +192,8 @@ private void outputWebViewAvailable() {
192192
head = (HTMLElement) html.getElementsByTagName("head").item(0);
193193
body = doc.getBody();
194194
katex = (JSObject) webEngine.executeScript("katex");
195-
katexMacros = (JSObject) webEngine.executeScript("var katexMacros={'\\\\Int': '\\\\int'};katexMacros;");
195+
katexMacros = (JSObject) webEngine.executeScript(
196+
"var katexMacros={'\\\\Int':'\\\\int','\\\\>':''};katexMacros;");
196197

197198
// Create default style elements:
198199

0 commit comments

Comments
 (0)