From f409e1e060decd96bb9cd080b595f7a5251e8d73 Mon Sep 17 00:00:00 2001 From: ucrhh Date: Thu, 11 Mar 2021 15:11:22 +0100 Subject: [PATCH] some styling --- frontend/styles/view/share-dialog.css | 6 +++++- src/main/resources/language/translation_de.properties | 4 ++-- src/main/resources/language/translation_en.properties | 4 ++-- 3 files changed, 9 insertions(+), 5 deletions(-) diff --git a/frontend/styles/view/share-dialog.css b/frontend/styles/view/share-dialog.css index f306841..570b40b 100644 --- a/frontend/styles/view/share-dialog.css +++ b/frontend/styles/view/share-dialog.css @@ -1,10 +1,12 @@ #share-dialog { width: 80%; } + #share-dialog-layout { align-items: start; min-width: 50em; - height: 100%; + height: 90%; + overflow-y: auto; } .share-dialog-field { width: 100%; @@ -12,10 +14,12 @@ #headingLayout { width: 100%; + max-height: 10%; display: flex; position: relative; align-items: center; justify-content: center; + padding-bottom: 12px; } #closeIcon { diff --git a/src/main/resources/language/translation_de.properties b/src/main/resources/language/translation_de.properties index b48f6df..d1a2a5e 100644 --- a/src/main/resources/language/translation_de.properties +++ b/src/main/resources/language/translation_de.properties @@ -171,6 +171,6 @@ root.different_types = Der eingegebene Term ist nicht typisierbar: \ share.heading=Teilen share.url.label=URL share.packagesTree.label=Pakete (Typherleitungsbaum) -share.latexTree.label=LaTeX-Code (Typherleitungsbaum) +share.latexTree.label=LaTeX-Code (vollständiger Typherleitungsbaum) share.packagesUnification.label=Pakete (Unifikation/MGU) -share.latexUnification.label=LaTeX-Code (Unifikation/MGU) +share.latexUnification.label=LaTeX-Code (aktueller Schritt in Unifikation/MGU) diff --git a/src/main/resources/language/translation_en.properties b/src/main/resources/language/translation_en.properties index 3fdda19..8bcd629 100644 --- a/src/main/resources/language/translation_en.properties +++ b/src/main/resources/language/translation_en.properties @@ -148,6 +148,6 @@ root.different_types = The entered term cannot be typed: \ share.heading=Share share.url.label=URL share.packagesTree.label=Packages (inference tree) -share.latexTree.label=LaTeX code (inference tree) +share.latexTree.label=LaTeX code (whole inference tree) share.packagesUnification.label=Packages (unification/MGU) -share.latexUnification.label=LaTeX code (unifcation/MgU) +share.latexUnification.label=LaTeX code (current step in unifcation/MGU)