palemoon-dev/platform/devtools/client/themes/shadereditor.css

/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
 * You can obtain one at http://mozilla.org/MPL/2.0/. */

/* Reload and waiting notices */

.notice-container {
  margin-top: -50vh;
  color: var(--theme-body-color-alt);
}

#reload-notice {
  font-size: 120%;
}

#waiting-notice {
  font-size: 110%;
}

/* Shaders pane */

#shaders-pane {
  min-width: 150px;
}

.program-item {
  padding: 2px 0px;
}

.side-menu-widget-item-checkbox {
  -moz-appearance: none;
  opacity: 0;
  transition: opacity .15s ease-out 0s;
}

/* Only show the checkbox when the source is hovered over, is selected, or if it
 * is not checked. */
.side-menu-widget-item:hover > .side-menu-widget-item-checkbox,
.side-menu-widget-item.selected > .side-menu-widget-item-checkbox,
.side-menu-widget-item-checkbox:not([checked]) {
  opacity: 1;
  transition: opacity .15s ease-out 0s;
}

.side-menu-widget-item-checkbox .checkbox-check {
  -moz-appearance: none;
  background-image: url(images/item-toggle.svg);
  background-color: transparent;
  width: 16px;
  height: 16px;
  border: 0;
}

.side-menu-widget-item-checkbox:not([checked]) .checkbox-check,
.side-menu-widget-item-checkbox:not([checked]) + vbox {
  opacity: 0.3;
}

.side-menu-widget-item:not(.selected) .checkbox-check {
  filter: var(--icon-filter);
}

/* Make sure icon is white when the item is selected */
.side-menu-widget-item.selected .checkbox-check {
  filter: invert(1);
}

/* Shader source editors */

.editor-label {
  padding: 1px 12px;
  border-top: 1px solid;
}

.editor-label {
  background: var(--theme-toolbar-background);
  border-color: var(--theme-splitter-color);
  color: var(--theme-body-color-alt);
}

.editor-label[selected] {
  background-color: var(--theme-selection-background);
  color: var(--theme-selection-color);
}

/* Responsive sidebar */

@media (max-width: 700px) {
  #shaders-pane {
    max-height: 60vh;
  }

  #editors-splitter {
    border-color: transparent;
  }

  .side-menu-widget-container {
    box-shadow: none !important;
  }

  .side-menu-widget-item-arrow {
    background-image: none !important;
  }

  .editor-label {
    -moz-box-ordinal-group: 0;
    border-bottom: 1px solid;
  }
}