From 44d5a592f15207806a16c2483bbff201979b8f3f Mon Sep 17 00:00:00 2001
From: Florian Beer <fb@42dev.eu>
Date: Mon, 29 Jan 2018 22:58:45 +0100
Subject: [PATCH] webui: Update badge background for selected pagemenu item
 (mono.css) (#8157)

* Update badge background for selected pagemenu item

This brings the background color in line with the user notification number badge background in the upper right corner.
The previous background was too bright for mono.css to properly read the white menu item text.

* CSS cache busting

Change last two digits to 42, because reasons.
---
 html/css/mono.css | 7 +++++++
 html/index.php    | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/html/css/mono.css b/html/css/mono.css
index 3605888386..45faa93858 100644
--- a/html/css/mono.css
+++ b/html/css/mono.css
@@ -114,3 +114,10 @@
   100% { transform: rotate(360deg); transform: rotate(360deg); }
 }
 
+.pagemenu-selected {
+  background-color: #777;
+  border: 0;
+  box-shadow: none;
+  -moz-box-shadow: none;
+  -webkit-box-shadow: none;
+}
diff --git a/html/index.php b/html/index.php
index 6013d74880..056b361de2 100644
--- a/html/index.php
+++ b/html/index.php
@@ -129,7 +129,7 @@ if (empty($config['favicon'])) {
   <link href="css/leaflet.awesome-markers.css" rel="stylesheet" type="text/css" />
   <link href="css/select2.min.css" rel="stylesheet" type="text/css" />
   <link href="<?php echo($config['stylesheet']);  ?>?ver=291727421" rel="stylesheet" type="text/css" />
-  <link href="css/<?php echo $config['site_style']; ?>.css?ver=632417639" rel="stylesheet" type="text/css" />
+  <link href="css/<?php echo $config['site_style']; ?>.css?ver=632417642" rel="stylesheet" type="text/css" />
 <?php
 
 foreach ((array)$config['webui']['custom_css'] as $custom_css) {