Sfoglia il codice sorgente

Change log console highlight to use brand color.

The info color does not match well with the hardcoded status bar colors, especially in dark mode.
Jason Grout 5 anni fa
parent
commit
8fd895e274
1 ha cambiato i file con 3 aggiunte e 6 eliminazioni
  1. 3 6
      packages/logconsole-extension/style/base.css

+ 3 - 6
packages/logconsole-extension/style/base.css

@@ -12,16 +12,14 @@
 
 @keyframes flash {
   0% {
-    color: var(--jp-info-color0);
-    background-color: var(--jp-info-color3);
+    background-color: var(--jp-brand-color1);
   }
   50% {
     color: unset;
     background-color: unset;
   }
   100% {
-    color: var(--jp-info-color0);
-    background-color: var(--jp-info-color3);
+    background-color: var(--jp-brand-color1);
   }
 }
 
@@ -30,8 +28,7 @@
 }
 
 .jp-LogConsoleStatusItem.hilited {
-  color: var(--jp-info-color0);
-  background-color: var(--jp-info-color3);
+  background-color: var(--jp-brand-color1);
 }
 
 .jp-LogConsole .clear-icon {