+
+/* Close button */
+
+.devtools-closebutton {
+ list-style-image: url("chrome://global/skin/icons/close-button.gif");
+ min-width: 16px;
+ width: 16px;
+}
+
+.devtools-closebutton > .toolbarbutton-text {
+ display: none;
+}
+
+.devtools-closebutton:hover,
+.devtools-closebutton:hover:active {
+ list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
+}
+
+/* Splitters */
+
+.devtools-horizontal-splitter {
+ min-height: 3px;
+ height: 3px;
+ position: relative;
+}
+
+#devtools-side-splitter {
+ min-width: 0;
+ width: 3px;
+ position: relative;
+}
+
+/* In-tools sidebar */
+
+.devtools-toolbox-side-iframe {
+ min-width: 465px;
+}
+
+.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;
+ margin-top: 0;
+}
+
+.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 {
+}
+
+/* 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;
+}
+
+
+/********************** shared/devtools/common.inc.css **********************/
+
+/* Autocomplete Popup */
+/* Dark and light theme */
+
+.devtools-autocomplete-popup {
+ border: 1px solid #FF9F00;
+ background-color: #000000;
+ border-radius: 3px;
+ max-height: 40rem;
+}
+
+.devtools-autocomplete-listbox {
+ background-color: transparent;
+ border-width: 0px !important;
+}
+
+.devtools-autocomplete-listbox > richlistitem,
+.devtools-autocomplete-listbox > richlistitem[selected] {
+ width: 100%;
+ background-color: transparent;
+ border-radius: 4px;
+}
+
+.devtools-autocomplete-listbox.dark-theme > richlistitem[selected],
+.devtools-autocomplete-listbox.dark-theme > richlistitem:hover {
+/* background-color: rgba(0,0,0,0.5); */
+}
+
+.devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > .autocomplete-value,
+.devtools-autocomplete-listbox:focus.dark-theme > richlistitem[selected] > .initial-value {
+/* color: hsl(208,100%,60%);*/
+}
+
+.devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > label {
+/* color: #eee;*/
+}
+
+.devtools-autocomplete-listbox.dark-theme > richlistitem > label {
+/* color: #ccc;*/
+}
+
+.devtools-autocomplete-listbox > richlistitem > .initial-value,
+.devtools-autocomplete-listbox > richlistitem > .autocomplete-value {
+ margin: 0;
+ padding: 1px 0;
+}
+
+.devtools-autocomplete-listbox > richlistitem > .autocomplete-count {
+ text-align: right;
+}
+
+/* Rest of the light theme */
+
+.devtools-autocomplete-popup.light-theme {
+}
+
+.devtools-autocomplete-listbox.light-theme > richlistitem[selected],
+.devtools-autocomplete-listbox.light-theme > richlistitem:hover {
+/* background-color: rgba(128,128,128,0.3); */
+}
+
+.devtools-autocomplete-listbox.light-theme > richlistitem[selected] > .autocomplete-value,
+.devtools-autocomplete-listbox:focus.light-theme > richlistitem[selected] > .initial-value {
+/* color: #222;*/
+}
+
+.devtools-autocomplete-listbox.light-theme > richlistitem > label {
+/* color: #666;*/
+}
+