@ -33,7 +33,7 @@
--theme-background-input: #234d708c;
--theme-background: #011627;
--theme-background-panels: #011628;
--theme-border-tab: 1px solid #7fdbca;
--theme-border-tab: 1px solid #7fdbca52;
--theme-ace-identifier: #ffcb8bcc;
--theme-ace-operator: #ffcb8b;
--theme-ace-symbols: #7fdbca;