From 04cb7238fb65fd7c9c66f2618e50b608d325274c Mon Sep 17 00:00:00 2001
From: Jaifroid <egk10@cam.ac.uk>
Date: Mon, 20 May 2019 07:14:03 +0100
Subject: [PATCH] Make keyboard selection work with dark theme

Former-commit-id: da25ee7c6071f2366637a66114d64099d60216e1 [formerly 0d79975742e5e8e68306340670eafebc6408f7f8]
Former-commit-id: 5282604b7317cf29bae3642340b6759b00c8fd08
---
 www/css/app.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/www/css/app.css b/www/css/app.css
index 22be35a7..d06499d1 100644
--- a/www/css/app.css
+++ b/www/css/app.css
@@ -101,6 +101,10 @@ div:not(.panel-success, .alert-message) {
     background: lightblue;
 }
 
+.dark #articleList a:hover, .dark #articleList a.hover {
+    background: darkslategray;
+}
+
 .dark #articleListWithHeader {
     background: darkslategrey;
 }
@@ -353,7 +357,7 @@ pre {
 
 .dark .list-group-item, .modal .dark .close {
     color: lightblue !important;
-    background-color: #222 !important;
+    background-color: #222;
 }
 
 .dark a.list-group-item:hover, .dark a.list-group-item:focus, .dark nav a:hover, .dark nav a:focus, .dark nav .active {