Bug 1150578 - Adjust the bluegrey color for DevTools theme;r=gl
authorBrian Grinstead <bgrinstead@mozilla.com>
Thu, 02 Jul 2015 14:13:34 -0700
changeset 251177 69d9848dd6a5
parent 251176 98101796b275
child 251178 f0fbcfe0a7a7
push id13834
push usergabriel.luong@gmail.com
push dateThu, 02 Jul 2015 21:11:48 +0000
treeherderfx-team@69d9848dd6a5 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersgl
bugs1150578
milestone42.0a1
Bug 1150578 - Adjust the bluegrey color for DevTools theme;r=gl
browser/themes/shared/devtools/dark-theme.css
browser/themes/shared/devtools/light-theme.css
--- a/browser/themes/shared/devtools/dark-theme.css
+++ b/browser/themes/shared/devtools/dark-theme.css
@@ -133,17 +133,17 @@
 }
 
 .CodeMirror-Tern-completion-object:before {
   background-color: #3689b2;
 }
 
 .cm-s-mozilla .cm-unused-line {
   text-decoration: line-through;
-  text-decoration-color: #5f88b0;
+  text-decoration-color: #0072ab;
 }
 
 .cm-s-mozilla .cm-executed-line {
   background-color: #133c26;
 }
 
 .theme-fg-color3,
 .cm-s-mozilla .cm-builtin,
--- a/browser/themes/shared/devtools/light-theme.css
+++ b/browser/themes/shared/devtools/light-theme.css
@@ -23,17 +23,17 @@
   --theme-body-color: #18191a;
   --theme-body-color-alt: #585959;
   --theme-content-color1: #292e33;
   --theme-content-color2: #8fa1b2;
   --theme-content-color3: #667380;
 
   --theme-highlight-green: #2cbb0f;
   --theme-highlight-blue: #0088cc;
-  --theme-highlight-bluegrey: #5f88b0;
+  --theme-highlight-bluegrey: #0072ab;
   --theme-highlight-purple: #5b5fff;
   --theme-highlight-lightorange: #d97e00;
   --theme-highlight-orange: #f13c00;
   --theme-highlight-red: #ed2655;
   --theme-highlight-pink: #b82ee5;
 
   /* Colors used in Graphs, like performance tools. Similar colors to Chrome's timeline. */
   --theme-graphs-green: #85d175;