arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-09-18 17:55:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

some styling

Browse Source
This commit is contained in:
ucrhh 2021-03-11 15:11:22 +01:00
parent 0c2836a27f
commit f409e1e060
3 changed files with 9 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
frontend/styles/view/share-dialog.css
View File

@ -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 {

4
src/main/resources/language/translation_de.properties
View File

@ -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)

4
src/main/resources/language/translation_en.properties
View File

@ -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)