+/* Server Logging Styles */
+
+.webconsole-filter-button[category="server"] > .toolbarbutton-menubutton-button:before {
+ background-image: linear-gradient(#006363, #004242);
+ border-color: #008484;
+}
+
+.message[category=server] > .indent {
+ -moz-border-end: solid #8050B0 6px;
+}
+