From ace01364adc44adfead71166a8b28258ef2e7f96 Mon Sep 17 00:00:00 2001 From: Brian Grinstead Date: Fri, 18 Dec 2015 08:27:42 -0800 Subject: [PATCH] Bug 1233689 - Update specificity on .CodeMirror selector since light/dark theme are now loading before the page styles;r=pbrosset --- devtools/client/themes/dark-theme.css | 4 ++-- devtools/client/themes/light-theme.css | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/devtools/client/themes/dark-theme.css b/devtools/client/themes/dark-theme.css index 8d6d52a1990..57f642d5d5e 100644 --- a/devtools/client/themes/dark-theme.css +++ b/devtools/client/themes/dark-theme.css @@ -187,13 +187,13 @@ body { * Best effort to match the existing theme, some of the colors * are duplicated here to prevent weirdness in the main theme. */ -.CodeMirror { /* Inherit platform specific font sizing and styles */ +.CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */ font-family: inherit; font-size: inherit; background: transparent; } -.CodeMirror pre, +.CodeMirror.cm-s-mozilla pre, .cm-s-mozilla .cm-variable-2, .cm-s-mozilla .cm-variable-3, .cm-s-mozilla .cm-operator, diff --git a/devtools/client/themes/light-theme.css b/devtools/client/themes/light-theme.css index aad56c8a284..5d0d522f7c5 100644 --- a/devtools/client/themes/light-theme.css +++ b/devtools/client/themes/light-theme.css @@ -186,13 +186,13 @@ body { * Best effort to match the existing theme, some of the colors * are duplicated here to prevent weirdness in the main theme. */ -.CodeMirror { /* Inherit platform specific font sizing and styles */ +.CodeMirror.cm-s-mozilla { /* Inherit platform specific font sizing and styles */ font-family: inherit; font-size: inherit; background: transparent; } -.CodeMirror pre, +.CodeMirror.cm-s-mozilla pre, .cm-s-mozilla .cm-variable-2, .cm-s-mozilla .cm-variable-3, .cm-s-mozilla .cm-operator,