From 3d3409f12e87c55644a6aebcbf18cd9a6ad74110 Mon Sep 17 00:00:00 2001 From: silverwind Date: Mon, 25 Jul 2016 18:00:22 +0200 Subject: [PATCH] Global: Fix githubusercontent document rule domain() does not pick up subdomains, at least in Firefox. --- github-dark.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/github-dark.css b/github-dark.css index b1878bac3..27234dd97 100644 --- a/github-dark.css +++ b/github-dark.css @@ -1,4 +1,4 @@ -@-moz-document regexp("^https?://((gist|guides|help|raw|status|developer)\.)?github\.com((?!generated_pages\/preview).)*$"), domain("githubusercontent.com") { +@-moz-document regexp("^https?://((gist|guides|help|raw|status|developer)\.)?github\.com((?!generated_pages\/preview).)*$"), regexp("^https?://(render|raw|gist|patch-diff)\.githubusercontent\.com\/.*") { /*! Github Dark Theme v1.14.96 (7/24/2016) *//* * https://github.com/StylishThemes/GitHub-Dark * http://userstyles.org/styles/37035