+
+/* In-tools sidebar */
+
+.devtools-sidebar-tabs {
+}
+
+.devtools-sidebar-tabs > tabpanels {
+ padding: 0;
+ border: 0;
+}
+
+.devtools-sidebar-tabs > tabs {
+ position: static;
+ overflow: hidden;
+}
+
+.devtools-sidebar-tabs > tabs > .tabs-right,
+.devtools-sidebar-tabs > tabs > .tabs-left {
+ display: none;
+}
+
+.devtools-sidebar-tabs > tabs > tab {
+ min-width: 78px;
+ text-align: center;
+ -moz-box-flex: 1;
+ position: static;
+}
+
+.devtools-sidebar-tabs > tabs > tab:-moz-focusring {
+ position: static;
+}
+
+.devtools-sidebar-tabs > tabs > tab:last-of-type {
+ -moz-border-end-width: 0;
+}
+
+.devtools-sidebar-tabs > tabs > tab:first-of-type {
+ -moz-margin-start: 0;
+}
+
+.devtools-sidebar-tabs > tabs > tab {
+}
+
+.devtools-sidebar-tabs:-moz-locale-dir(rtl) > tabs > tab {
+}
+
+.devtools-sidebar-tabs > tabs > tab {
+}
+
+.devtools-sidebar-tabs > tabs > tab:hover {
+}
+
+.devtools-sidebar-tabs > tabs > tab:hover:active {
+}
+
+.devtools-sidebar-tabs > tabs > tab[selected=true] + tab {
+}
+
+.devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover {
+}
+
+.devtools-sidebar-tabs > tabs > tab[selected=true] + tab:hover:active {
+}
+
+.devtools-sidebar-tabs > tabs > tab[selected=true] {
+}
+
+.devtools-sidebar-tabs > tabs > tab[selected=true]:hover {
+}
+
+.devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
+}
+
+/* Theme */
+
+.devtools-theme-background {
+ background-color: #000000;
+ color: #FF9F00;
+}
+
+.devtools-theme-comment {
+ color: #A09090; /* original: grey */
+}
+
+.devtools-theme-keyword {
+ color: #8050B0; /* original: purple */
+}
+
+.devtools-theme-string {
+ color: #E7ADE7; /* original: green */
+}
+
+.devtools-theme-tagname {
+ color: #FFCF00; /* original: dark blue */
+}
+
+.devtools-theme-attrname {
+ color: #9C9CFF; /* original: blue */
+}
+
+.devtools-theme-attrvalue {
+ color: #C09070; /* original: orange */
+}
+
+/* LCARStrek-specific adaptions */
+
+#profiler-chrome {
+ /* HACK for profiler in the dev toolbox in FF 20+. */
+ margin: -3px;
+}
+
+#profiler-chrome > box > box > .devtools-toolbar {
+ border-bottom: none;
+}