fix(themes): changed the solarized theme primary color from #93A1A1…

… to `#839496`. (#5422) Co-authored-by: Ratul Sharker <[email protected]>
ajaxorg · Dec 12, 2023 · 114a5c1 · 114a5c1
1 parent ea1f12b
commit 114a5c1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/theme/solarized_dark-css.js b/src/theme/solarized_dark-css.js
@@ -10,12 +10,12 @@ module.exports = `.ace-solarized-dark .ace_gutter {
 
 .ace-solarized-dark {
   background-color: #002B36;
-  color: #93A1A1
+  color: #839496
 }
 
 .ace-solarized-dark .ace_entity.ace_other.ace_attribute-name,
 .ace-solarized-dark .ace_storage {
-  color: #93A1A1
+  color: #839496
 }
 
 .ace-solarized-dark .ace_cursor,