+.devtools-side-splitter ~ #webconsole-sidebar[hidden] {
+ display: none;
+}
+
+/* Security styles */
+
+.message[category=security] > .indent {
+ -moz-border-end: solid #FF0000 6px;
+}
+
+.webconsole-filter-button[category="security"] > .toolbarbutton-menubutton-button:before {
+ background-color: #FF0000;
+ border-color: #FFCF00;
+}
+
+.message[category=security][severity=error] > .icon::before {
+ background-position: -8px -32px;
+}
+
+.message[category=security][severity=warn] > .icon::before {
+ background-position: -16px -32px;
+}
+
+.navigation-marker {
+ color: #000000;
+ background-color: #A09090;
+ margin-top: 6px;
+ margin-bottom: 6px;
+ font-size: 0.9em;
+}
+
+.navigation-marker .url {
+ -moz-padding-end: 9px;
+ text-decoration: none;
+}
+
+.stacktrace {
+ display: none;
+ list-style: none;
+ padding: 0 1em 0 1.5em;
+ margin: 5px 0 0 0;
+ max-height: 10em;
+ overflow-y: auto;
+ border: 1px solid #A09090;
+ border-radius: 3px;
+}
+
+.message[severity=error] .stacktrace {
+ background-color: #000000;
+}
+
+.message[open] .stacktrace {
+ display: block;
+}
+
+.message .theme-twisty {
+ display: inline-block;
+ vertical-align: middle;
+ margin: 0 3px 0 0;
+}
+
+.stacktrace li {
+ display: flex;
+ margin: 0;
+}
+
+.stacktrace .function {
+ display: block;
+ flex: 1 1 auto;
+}
+
+.cm-s-mozilla a[class] {
+ font-style: italic;
+ text-decoration: none;
+}
+
+.cm-s-mozilla a[class]:hover,
+.cm-s-mozilla a[class]:focus {
+ text-decoration: underline;
+}
+
+/* Open DOMNode in inspector button */
+.open-inspector {
+ background: url("chrome://browser/skin/devtools/vview-open-inspector.png") no-repeat 0 0;
+ padding-left: 16px;
+ margin-left: 5px;
+ cursor: pointer;
+}
+
+.elementNode:hover .open-inspector,
+.open-inspector:hover {
+ background-position: -32px 0;
+}
+
+.open-inspector:active {
+ background-position: -16px 0;
+}
+
+/* Replace these values with CSS variables as available */
+.theme-dark .jsterm-input-container {
+ background-color: #000000; /* tabToolbarBackgroundColor */
+ border-color: #9C9CFF; /* mainBackgroundColor */
+}
+
+.theme-dark .jsterm-input-node {
+ color: #E7ADE7; /* textColor */
+}
+
+.theme-dark .jsterm-complete-node {
+ color: #A09090; /* commentColor */