From bed981c8f689c4a33f0444cdac9bc92176f4dafc Mon Sep 17 00:00:00 2001 From: Jim Myhrberg Date: Tue, 5 Jan 2021 01:32:18 +0000 Subject: [PATCH] feat(userstyle): add tweaks for GitHub search results --- userstyles/github-dark-tweaks.user.css | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/userstyles/github-dark-tweaks.user.css b/userstyles/github-dark-tweaks.user.css index 90b45de..9399b33 100644 --- a/userstyles/github-dark-tweaks.user.css +++ b/userstyles/github-dark-tweaks.user.css @@ -23,6 +23,8 @@ @var color ghdt-diff-hover-bg "Diff Hover BG" rgba(255, 255, 255, .04) @var color ghdt-diff-hover-selected-bg "Diff Hover Selected BG" rgba(255, 255, 255, .08) + +@var color ghdt-search-keyword-hl "Search Keyword Highlight BG" rgba(107, 82, 23, .4) ==/UserStyle== */ @-moz-document domain("githubusercontent.com"), domain("www.githubstatus.com"), @@ -70,4 +72,13 @@ regexp("^https?://((education|graphql|guides|raw|resources|status|developer|supp .highlight > tbody > tr:hover > td.blob-code-inner.highlighted::after { background: ghdt-diff-hover-selected-bg !important; } + + /* + GitHub Search Tweaks + + Make keyword highlight background a bit more obvious. + */ + .blob-code .hx_keyword-hl { + background-color: ghdt-search-keyword-hl !important; + } }