From a627efff71120203dce1f3ed35d20eb6722f4941 Mon Sep 17 00:00:00 2001 From: Junsoo Kim Date: Mon, 5 Aug 2024 11:39:14 -0400 Subject: [PATCH] [#530] Fix broken nav links and styling. --- _layouts/default.html | 6 +++--- _layouts/user-guide.html | 6 +++--- assets/css/style.scss | 4 ++-- src/org/jetuml/gui/tips/TipLoader.java | 4 ++++ src/org/jetuml/gui/tips/UserGuideGenerator.java | 2 +- 5 files changed, 13 insertions(+), 9 deletions(-) diff --git a/_layouts/default.html b/_layouts/default.html index a7c64a63..34243dac 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -33,9 +33,9 @@

{{ site.description | default: site.github.project_tagl diff --git a/_layouts/user-guide.html b/_layouts/user-guide.html index 1d319cd3..823faa01 100644 --- a/_layouts/user-guide.html +++ b/_layouts/user-guide.html @@ -8,9 +8,9 @@

User Guide

diff --git a/assets/css/style.scss b/assets/css/style.scss index 90475ed7..c7ef1069 100644 --- a/assets/css/style.scss +++ b/assets/css/style.scss @@ -46,7 +46,7 @@ { padding: 0px 10px; overflow: hidden; - background-color: #f1f1f1; + background-color: #f2f2f2; max-height: 0; transition: max-height 0.2s ease-out; } @@ -66,7 +66,7 @@ button.collapsible button.collapsible:hover { - background-color: #8e8e8e; + background-color: #d9d9d9; } button.collapsible:before diff --git a/src/org/jetuml/gui/tips/TipLoader.java b/src/org/jetuml/gui/tips/TipLoader.java index 6e2ae372..0395eb01 100644 --- a/src/org/jetuml/gui/tips/TipLoader.java +++ b/src/org/jetuml/gui/tips/TipLoader.java @@ -184,6 +184,10 @@ private static Media discoverMediaUsed(JsonObject pTipContent) return null; } + /* + * A tip view contains one property whose name is any View value + * in lower case: discover which one it is. + */ private static View discoverViewUsed(JsonObject pTipContent) { for(View view : View.values()) diff --git a/src/org/jetuml/gui/tips/UserGuideGenerator.java b/src/org/jetuml/gui/tips/UserGuideGenerator.java index 5fc914a6..83a91d74 100644 --- a/src/org/jetuml/gui/tips/UserGuideGenerator.java +++ b/src/org/jetuml/gui/tips/UserGuideGenerator.java @@ -169,7 +169,7 @@ private static void generateDiagramsAsMd() throws IOException /* * Creates an html representation of all available tips, - * grouped by view, and their respective categories in each view. + * grouped by Views, and their respective categories in each View. */ private static void tipsAsHtml() {