LCARStrek/devtools/common.css

   1 /* vim:set ts=2 sw=2 sts=2 et: */
   2 /* This Source Code Form is subject to the terms of the Mozilla Public
   3  * License, v. 2.0. If a copy of the MPL was not distributed with this
   4  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   5
   6 @import url("splitters.css");
   7
   8 /* LCARS-specific rules that should be limited to toolbox but there's no other place to put them */
   9 window {
  10   padding: 0;
  11 }
  12
  13 notification {
  14   margin-bottom: 3px;
  15 }
  16
  17 /* End LCARStrek toolbox rules */
  18
  19 :root {
  20   font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
  21   --proportional-font-family: "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
  22   --monospace-font-family: "Liberation Mono", Consolas, "Courier New", monospace;
  23   --monospace-font-size: 12px;
  24 }
  25
  26 .devtools-monospace {
  27   font-family: var(--monospace-font-family);
  28   font-size: var(--monospace-font-size);
  29 }
  30
  31
  32 /* Autocomplete Popup */
  33
  34 .devtools-autocomplete-popup {
  35   border-radius: 3px;
  36   overflow-x: hidden;
  37   max-height: 20rem;
  38 }
  39
  40 .devtools-autocomplete-listbox {
  41   background-color: transparent;
  42   border-width: 0px !important;
  43   margin: 0;
  44 }
  45
  46 .devtools-autocomplete-listbox > scrollbox {
  47   padding: 2px;
  48 }
  49
  50 .inplace-editor-autocomplete-popup .devtools-autocomplete-listbox {
  51   /* Inplace editor closes the autocomplete popup on blur, the autocomplete
  52   popup should not steal the focus here.*/
  53   -moz-user-focus: ignore;
  54 }
  55
  56 .devtools-autocomplete-listbox > richlistitem,
  57 .devtools-autocomplete-listbox > richlistitem[selected] {
  58   width: 100%;
  59   background-color: transparent;
  60   border-radius: 4px;
  61 }
  62
  63 .devtools-autocomplete-listbox.dark-theme > richlistitem[selected],
  64 .devtools-autocomplete-listbox.dark-theme > richlistitem:hover {
  65 /*  background-color: rgba(0,0,0,0.5); */
  66 }
  67
  68 .devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > .autocomplete-value,
  69 .devtools-autocomplete-listbox:focus.dark-theme > richlistitem[selected] > .initial-value {
  70 /*  color: hsl(208,100%,60%);*/
  71 }
  72
  73 .devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > label {
  74 /*  color: #eee;*/
  75 }
  76
  77 .devtools-autocomplete-listbox.dark-theme > richlistitem > label {
  78 /*  color: #ccc;*/
  79 }
  80
  81 .devtools-autocomplete-listbox > richlistitem > .initial-value,
  82 .devtools-autocomplete-listbox > richlistitem > .autocomplete-value {
  83   margin: 0;
  84   padding: 1px 0;
  85 }
  86
  87 .devtools-autocomplete-listbox > richlistitem > .autocomplete-count {
  88   text-align: end;
  89 }
  90
  91 /* Rest of the dark and light theme */
  92
  93 .devtools-autocomplete-popup,
  94 .CodeMirror-hints,
  95 .CodeMirror-Tern-tooltip {
  96   border: 1px solid #FF9F00;
  97   background-color: #000000;
  98 }
  99
 100 .devtools-autocomplete-popup.light-theme {
 101 }
 102
 103 .devtools-autocomplete-listbox.firebug-theme > richlistitem[selected],
 104 .devtools-autocomplete-listbox.firebug-theme > richlistitem:hover,
 105 .devtools-autocomplete-listbox.light-theme > richlistitem[selected],
 106 .devtools-autocomplete-listbox.light-theme > richlistitem:hover {
 107 /*  background-color: rgba(128,128,128,0.3); */
 108 }
 109
 110 .devtools-autocomplete-listbox.firebug-theme > richlistitem[selected] > .autocomplete-value,
 111 .devtools-autocomplete-listbox:focus.firebug-theme > richlistitem[selected] > .initial-value,
 112 .devtools-autocomplete-listbox.light-theme > richlistitem[selected] > .autocomplete-value,
 113 .devtools-autocomplete-listbox:focus.light-theme > richlistitem[selected] > .initial-value {
 114 /*  color: #222;*/
 115 }
 116
 117 .devtools-autocomplete-listbox.firebug-theme > richlistitem > label,
 118 .devtools-autocomplete-listbox.light-theme > richlistitem > label {
 119 /*  color: #666;*/
 120 }
 121
 122 /* links to source code, like displaying `myfile.js:45` */
 123
 124 .devtools-source-link {
 125   font-family: var(--monospace-font-family);
 126   color: var(--theme-text-blue);
 127   cursor: pointer;
 128   white-space: nowrap;
 129   display: flex;
 130   text-decoration: none;
 131   font-size: 11px;
 132   width: 12em; /* probably should be changed for each tool */
 133 }
 134
 135 .devtools-source-link:hover {
 136   text-decoration: underline;
 137 }
 138
 139 .devtools-source-link > .filename {
 140   text-overflow: ellipsis;
 141   text-align: end;
 142   overflow: hidden;
 143   margin: 2px 0px;
 144   cursor: pointer;
 145 }
 146
 147 .devtools-source-link > .line-number {
 148   flex: none;
 149   margin: 2px 0px;
 150   cursor: pointer;
 151 }
 152
 153 /* Keyboard focus highlight styles */
 154
 155 :-moz-focusring {
 156   outline: var(--theme-focus-outline);
 157   outline-offset: -1px;
 158 }
 159
 160 textbox[focused="true"] {
 161   border-color: var(--theme-focus-border-color-textbox);
 162
 163 /*  box-shadow: var(--theme-focus-box-shadow-textbox);*/
 164   transition: all 0.2s ease-in-out
 165 }
 166
 167 textbox :-moz-focusring {
 168   box-shadow: none;
 169   outline: none;
 170 }
 171
 172 /* Form fields should already have box-shadow hightlight */
 173 select:-moz-focusring,
 174 input[type="radio"]:-moz-focusring,
 175 input[type="checkbox"]:-moz-focusring,
 176 checkbox:-moz-focusring {
 177   outline: none;
 178 }