+.message:hover {
+ background-color: #404000;
+}
+
+.message[severity=error] {
+ background-color: #FF0000;
+}
+
+.console-string {
+ color: #FF9F00;
+}
+
+.message[severity=error] .console-string {
+ color: #000000;
+}
+
+.theme-selected .console-string,
+.theme-selected .cm-number,
+.theme-selected .cm-variable,
+.theme-selected .kind-ArrayLike {
+ color: #000000 !important; /* Selection Text Color */