Dev console: get the panel background color right.

dbuenzli · dbuenzli · commit 68b1a78cd1f8 · 2022-01-30T23:39:11.000+01:00
diff --git a/src/console/ocaml_console.css b/src/console/ocaml_console.css
@@ -31,6 +31,9 @@
   --ocaml-color-code-keyword: #874aa9;
   --ocaml-color-code-type-id: #a9874a;
   --ocaml-color-code-string: #4aa987;
+
+  color: var(--ocaml-color-fg);
+  background-color: var(--ocaml-color-bg);
 }
 
 :root[theme='dark'] {

Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,9 @@`
`31`	`31`	`--ocaml-color-code-keyword: #874aa9;`
`32`	`32`	`--ocaml-color-code-type-id: #a9874a;`
`33`	`33`	`--ocaml-color-code-string: #4aa987;`
	`34`	`+`
	`35`	`+ color: var(--ocaml-color-fg);`
	`36`	`+ background-color: var(--ocaml-color-bg);`
`34`	`37`	`}`
`35`	`38`
`36`	`39`	`:root[theme='dark'] {`