From 92ecbff4cd0deb791c553f2555ab17ff1d24e32e Mon Sep 17 00:00:00 2001 From: Zef Hemel Date: Tue, 19 Dec 2023 16:18:18 +0100 Subject: [PATCH] Fix some styling issues --- plugs/markdown/assets/preview.css | 6 ++++++ web/editor_ui.tsx | 2 +- web/styles/editor.scss | 2 +- 3 files changed, 8 insertions(+), 2 deletions(-) diff --git a/plugs/markdown/assets/preview.css b/plugs/markdown/assets/preview.css index d7b77ee2..a754b171 100644 --- a/plugs/markdown/assets/preview.css +++ b/plugs/markdown/assets/preview.css @@ -1,3 +1,9 @@ +html, +html { + overflow-y: scroll !important; + width: 90% !important +} + body { font-family: georgia, times, serif; font-size: 14pt; diff --git a/web/editor_ui.tsx b/web/editor_ui.tsx index 39404645..fe21e872 100644 --- a/web/editor_ui.tsx +++ b/web/editor_ui.tsx @@ -240,7 +240,7 @@ export class MainUI { : [], { icon: HomeIcon, - description: `Go home (Alt-h)`, + description: `Go to the index page (Alt-h)`, callback: () => { editor.navigate(""); }, diff --git a/web/styles/editor.scss b/web/styles/editor.scss index a194a6e7..b47ce9f7 100644 --- a/web/styles/editor.scss +++ b/web/styles/editor.scss @@ -451,7 +451,7 @@ width: 100%; max-width: 100%; padding: 0; - margin: 0; + margin: 0 0 -2ch 0; border: 1px solid var(--editor-directive-background-color); border-radius: 5px; }