From dd5a0cfed0f5a67858926779b05851030a91961d Mon Sep 17 00:00:00 2001 From: FranklinDM Date: Sun, 29 Jan 2023 19:29:26 +0800 Subject: [PATCH] Minor: Issue #72 - Fix scrollbar search highlighter/marker position I apparently had a compatibility fix for this extension (before being forked) already. However, I added an unnecessary direction check that made it useless unless you're using an extension that messes with the browser element's `dir` attribute (e.g. TabKit). --- src/skin/aios_layout.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/skin/aios_layout.css b/src/skin/aios_layout.css index adc8867..95f7d8e 100644 --- a/src/skin/aios_layout.css +++ b/src/skin/aios_layout.css @@ -132,7 +132,7 @@ window[aiosOrient="right"] #browser[dir="reverse"] #sidebar-splitter { */ /* Scrollbar Search Highlighter */ -#browser[dir="normal"] #highlight-grid { +#browser #highlight-grid { -moz-box-ordinal-group: 51; } #browser[dir="reverse"] #highlight-grid {