From dec5c3c0b0f1a24ddbc8444044848037740b89de Mon Sep 17 00:00:00 2001
From: fabrixxm <fabrix.xm@gmail.com>
Date: Mon, 21 Oct 2019 12:22:41 +0200
Subject: [PATCH] Make top menu work again

The top menu stopped working.
A quick look showed that menu html has changed,
not matching CSS selectors anymore.

The commit f68cafa had changed the CSS selectors from
ones that apply to current menu html.

The menu has been modified from what was in place at the
time when sceenshot.png has been taken.

My guess is that different menus leads to different html
on page (I don't know why).

The CSS now use both selectors, to stay on the safe side.
---
 assets/css/main.css | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/assets/css/main.css b/assets/css/main.css
index 34e3e0f..7195106 100644
--- a/assets/css/main.css
+++ b/assets/css/main.css
@@ -1585,7 +1585,7 @@
 	body, input, select, textarea {
 		color: #111;
 		font-family: "Fira Sans", Arial, Helvetica, sans-serif;
-		font-size: 13pt;
+		font-size: 14pt;
 		font-weight: 300;
 		line-height: 1.65;
 	}
@@ -2834,9 +2834,13 @@
 	}
 
 /* Nav */
+    #nav > ul,
     #nav > .menu > ul { display: inline-block; padding:0; margin: 0; }
+    #nav > ul > li,
     #nav > .menu > ul > li { display: inline-block; }
+    #nav > ul > li .sub-menu,
     #nav > .menu > ul > li .children { display: none; }
+    #nav > ul > li:hover .sub-menu,
     #nav > .menu > ul > li:hover .children {
         display: block;
         margin: 0;
@@ -2849,9 +2853,12 @@
         top: 2.5em;
         min-width: 100px;
     }
+    #nav .sub-menu li,
     #nav .children li { padding: 0; line-height: 2em; }
+    #nav .sub-menu a ,
     #nav .children a { color: #333; padding: 0.4em; width: 100%; text-align: left; white-space: nowrap; }
-    #nav .children a:hover { color: #fff; background-color: #5385c1; }
+    #nav .sub-menu a:hover,
+    #nav .children a:hover{ color: #fff; background-color: #5385c1; }
 
 	@media screen and (max-width: 980px) {