From 3a5dd22603efddbed6be721a87bca2c2cff106e0 Mon Sep 17 00:00:00 2001
From: Samuel Mannehed <samuel@cendio.se>
Date: Mon, 13 Jan 2025 01:32:57 +0100
Subject: [PATCH] Add styling for checked options in select boxes

---
 app/styles/input.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/app/styles/input.css b/app/styles/input.css
index 5eeac940..8b5f3ca2 100644
--- a/app/styles/input.css
+++ b/app/styles/input.css
@@ -515,6 +515,9 @@ select:disabled {
         var(--select-arrow),
         var(--grey-background);
 }
+/* Note that styling for <option> doesn't work in all browsers
+   since its often drawn directly by the OS. We are generally very
+   limited in what we can change here. */
 option {
     /* Prevent Chrome from inheriting background-color from the <select> */
     background-color: white;
@@ -522,3 +525,6 @@ option {
     font-weight: normal;
     background-image: var(--button-activation-overlay);
 }
+option:checked {
+    background-color: var(--novnc-lightgrey);
+}