From 2def010612a8de9ed8fba59175fa071ce1e91d41 Mon Sep 17 00:00:00 2001 From: Gregory Soutade Date: Sun, 23 Jan 2022 09:48:18 +0100 Subject: [PATCH] Server: Underline current item --- server/index.php | 2 ++ 1 file changed, 2 insertions(+) diff --git a/server/index.php b/server/index.php index 9c8abaa..fb857e2 100644 --- a/server/index.php +++ b/server/index.php @@ -100,12 +100,14 @@ else { elem.style.display = "block"; divFrom.style['font-weight'] = "bold"; + divFrom.style['text-decoration'] = "underline"; } function disableMenu(elem, divFrom) { elem.style.display = "none"; divFrom.style['font-weight'] = "normal"; + divFrom.style['text-decoration'] = ""; } function switchMenuDisplay(id)