From 9716c326952c16f63345a135e73cf36670dca0d8 Mon Sep 17 00:00:00 2001
From: "jeremy@jermolene.com" <jeremy@jermolene.com>
Date: Wed, 30 Sep 2020 17:59:39 +0100
Subject: [PATCH] Fix Firefox bug with selection colours

See https://github.com/Jermolene/TiddlyWiki5/commit/543f9107b6a9de5fe13542fa30d9a4483d8b3eb8#commitcomment-42849656
---
 themes/tiddlywiki/vanilla/base.tid | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/themes/tiddlywiki/vanilla/base.tid b/themes/tiddlywiki/vanilla/base.tid
index c8345708f..0d1ebc360 100644
--- a/themes/tiddlywiki/vanilla/base.tid
+++ b/themes/tiddlywiki/vanilla/base.tid
@@ -232,11 +232,8 @@ kbd {
 }
 
 ::selection {
-	background-color: <<colour selection-background>>;
-	color: <<colour selection-foreground>>;
-}
-
-::-moz-selection {
+	background-color: Highlight;
+	color: HighlightText;
 	background-color: <<colour selection-background>>;
 	color: <<colour selection-foreground>>;
 }