fifth part of syncing LCARStrek with Firefox 42-44 windows theme changes

[themes.git] / LCARStrek / browser / devtools / 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/. */

/* === file identical to shadereditor.inc.css === */

window {
  padding: 0;
}

/* Reload and waiting notices */

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

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

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

/* Shaders pane */

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

#shaders-pane + .devtools-side-splitter {
  border-color: transparent;
}

.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 {
  background-image: url("itemToggle.png");
  background-color: transparent;
  background-repeat: no-repeat;
  background-clip: content-box;
  background-size: 32px 16px;
  background-position: -16px 0;
  width: 16px;
  height: 16px;
  border: 0;
}

@media (min-resolution: 1.1dppx) {
  .side-menu-widget-item-checkbox .checkbox-check {
    background-image: url("itemToggle@2x.png");
  }
}

.side-menu-widget-item-checkbox[checked] .checkbox-check {
  background-position: 0 0;
}

/* Shader source editors */

#editors-splitter {
  border-color: var(--theme-contrastsidebar-bordercolor);
}

.editor-label {
  padding: 1px 12px;
  background: var(--theme-contrastsidebar-background);
  color: var(--theme-contrastsidebar-color);
}

.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;
  }

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

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

  .devtools-side-splitter {
    border-top-color: transparent !important;
  }

  .editor-label {
    -moz-box-ordinal-group: 0;
  }

  .editor-label:not([selected]) {
  }
}