tweaks for making devtools look nicer

[themes.git] / LCARStrek / browser / devtools / dark-theme.css

/* vim:set ts=2 sw=2 sts=2 et: */
/* 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/. */

/* According to:
 * https://bugzilla.mozilla.org/show_bug.cgi?id=715472#c17
 */
.theme-body {
  background: #000000;
  color: #FF9F00;
}

.theme-twisty {
  cursor: pointer;
  margin-right: 5px;
}

.theme-twisty:-moz-focusring {
  outline-style: none;
}

.theme-twisty:not([open]) {
  width: 0;
  height: 0;
  border-top: 5px solid transparent;
  border-bottom: 5px solid transparent;
  border-left: 5px solid #8050B0;
  margin-left: 5px;
}

.theme-twisty[open] {
  width: 10px;
  height: 10px;
  background-image: linear-gradient(to bottom right, transparent 68%, #8050B0 68%);
}

.theme-checkbox {
  display: inline-block;
  border: 0;
  width: 14px;
  height: 14px;
  padding: 0;
  outline: none;
  background: url("chrome://browser/skin/devtools/checkbox.png") no-repeat;
}

.theme-checkbox[checked] {
  background: url("chrome://browser/skin/devtools/checkbox.png") 14px 0;
}

.theme-selected {
  background: #004242;
}

.theme-bg-darker {
  background-color: rgba(0,0,0,0.1);
}

.theme-link { /* original: blue */
  color: #3333FF;
}

.theme-comment { /* original: grey */
  color: #A09090;
}

.theme-gutter {
  background-color: #000000;
  color: #FF9F00;
  border-color: #9C9CFF;
}

.theme-separator { /* original: grey */
  border-color: #8050B0;
}

.theme-fg-color1 { /* original: green */
  color: #008484;
}

.theme-fg-color2 { /* original: blue */
  color: #9C9CFF;
}

.theme-fg-color3 { /* original: pink/lavender */
  color: #E7ADE7;
}

.theme-fg-color4 { /* original: purple/violet */
  color: #C09070;
}

.theme-fg-color5 { /* original: Yellow */
  color: #FFCF00;
}

.theme-fg-color6 { /* original: Orange */
  color: #FF9F00;
}

.theme-fg-color7 { /* original: Red */
  color: #FF0000;
}