From 4ae9ba4b78b7ea4c18e70b51721bc88548358608 Mon Sep 17 00:00:00 2001 From: terminaldweller Date: Thu, 12 May 2022 17:37:03 +0430 Subject: some fixes --- spring-front/src/components/Editor.js | 2 +- spring-front/src/index.css | 14 +++++++++++--- 2 files changed, 12 insertions(+), 4 deletions(-) (limited to 'spring-front') diff --git a/spring-front/src/components/Editor.js b/spring-front/src/components/Editor.js index 7a99f52..3f8fefb 100644 --- a/spring-front/src/components/Editor.js +++ b/spring-front/src/components/Editor.js @@ -26,7 +26,7 @@ const md = new mit({ html: true }) .use(mittexmath, { engine: katex, delimiters: "gitlab", - katexOptions: { macros: { "\\RR": "\\mathbb{R}" } }, + katexOptions: { macros: { "\\RR": "\\mathbb{R}" }, output: "mathml" }, }) .use(mitmmdtable) .use(mithljs, { inline: true, auto: true, code: true, hljs: hljs }); diff --git a/spring-front/src/index.css b/spring-front/src/index.css index b5206ae..942cb96 100644 --- a/spring-front/src/index.css +++ b/spring-front/src/index.css @@ -1,7 +1,7 @@ body { font-family: "DejaVuSansMono NF", Helvetica, monospace; height: 95vh; - width: 95vw; + width: 98vw; background-color: #000000; color: #ffffff; } @@ -21,6 +21,14 @@ code { line-height: 15pt; } +.split.right pre { + direction: ltr; +} + +.split.right code { + direction: ltr; +} + .split { height: 100%; width: 50%; @@ -60,8 +68,8 @@ code { position: absolute; top: 0; left: 0; - width: 47%; - max-width: 47%; + width: 49%; + max-width: 49%; height: 100%; max-height: 100%; margin: 0px; -- cgit v1.2.3