Merge pull request #44 from ukatech/group-by-category

Group by category
ukatech · Dec 17, 2024 · de09573 · de09573
2 parents 03b72ab + 77fcf7a
commit de09573
Show file tree

Hide file tree

Showing 2 changed files with 2,651 additions and 2,647 deletions.
diff --git a/manual/list.css b/manual/list.css
@@ -452,15 +452,19 @@ a:hover {
 
 
 
-.category.ghost {
+.category.ghost,
+.navigation-bar > .navigation-category.ghost {
 	border-color: #966;
 }
-.category.ghost > h1 {
+.category.ghost > h1,
+.navigation-bar > .navigation-category.ghost > h1 {
 	background-color: #966;
 }
-.category.plugin {
+.category.plugin,
+.navigation-bar > .navigation-category.plugin {
 	border-color: #696;
 }
-.category.plugin > h1 {
+.category.plugin > h1,
+.navigation-bar > .navigation-category.plugin > h1 {
 	background-color: #696;
 }