fix: a few more tweaks to prompt

1) use normal font size
2) opacity for context
3) for carbon themes, use plex sans condensed for context

Fixes #4250

Author: starpit

plugins/plugin-carbon-themes/web/css/kui--alternate.css

@@ -5,6 +5,10 @@ body.kui--alternate .repl:not(.kui--input-stripe) .repl-block {
   padding-right: calc(1em * 0.875);
 }
 
-/*body.kui--alternate .repl-prompt-righty {
-  color: var(--color-text-01);
-}*/
+body.kui--alternate .repl-prompt {
+  font-family: "IBM Plex Sans Condensed";
+}
+body.kui--alternate .repl-prompt .repl-context {
+  filter: none;
+  color: var(--color-text-02);
+}

plugins/plugin-client-common/web/css/static/repl.scss

@@ -22,7 +22,6 @@
 .repl-prompt {
   font-family: var(--font-sans-serif);
   font-weight: 500;
-  font-size: 0.875em;
   margin-right: 0.1875em;
   --color-prompt-text: var(--color-brand-02);
   --color-prompt-background: transparent;
@@ -38,7 +37,7 @@
 .repl-context {
   background-color: var(--color-prompt-background);
   letter-spacing: 0.16px;
-  filter: grayscale(50%);
+  filter: opacity(0.6875) grayscale(50%);
 }
 /*.repl-block.using-custom-prompt .repl-prompt-righty > svg,
 .repl-block.using-custom-prompt .repl-prompt-righty > i,