tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

example.css (58285B)


      1 /* Copied from devtools/client/debugger/debugger.css on 2017-04-03 */
      2 
      3 .landing-page {
      4  flex: 1;
      5  display: flex;
      6  width: 100vw;
      7  height: 100vh;
      8  flex-direction: row;
      9  align-items: stretch;
     10  /* Customs properties */
     11  --title-font-size: 24px;
     12  --ui-element-font-size: 16px;
     13  --primary-line-height: 30px;
     14  --secondary-line-height: 25px;
     15  --base-spacing: 20px;
     16  --base-transition: all 0.25s ease;
     17 }
     18 
     19 .landing-popup {
     20  min-width: 0;
     21 }
     22 
     23 .landing-page .panel {
     24  display: flex;
     25  flex: 1;
     26  flex-direction: column;
     27  justify-content: space-between;
     28 }
     29 
     30 .landing-page .panel header {
     31  display: flex;
     32  align-items: baseline;
     33  margin: calc(2 * var(--base-spacing)) 0 0;
     34  padding-bottom: var(--base-spacing);
     35 }
     36 
     37 .landing-page .panel header input[type=search] {
     38  flex: 1;
     39  background-color: var(--theme-tab-toolbar-background);
     40  color: var(--theme-comment);
     41  font-size: var(--ui-element-font-size);
     42  border: 1px solid var(--theme-splitter-color);
     43  padding: calc(var(--base-spacing) / 2);
     44  margin: 0 var(--base-spacing);
     45  transition: var(--base-transition);
     46 }
     47 
     48 .landing-page .panel header input[type=button] {
     49  background-color: var(--theme-tab-toolbar-background);
     50  color: var(--theme-comment);
     51  font-size: var(--ui-element-font-size);
     52  border: 1px solid var(--theme-splitter-color);
     53  padding: calc(var(--base-spacing) / 2);
     54  margin: 0 var(--base-spacing);
     55  transition: var(--base-transition);
     56 }
     57 
     58 .landing-page .panel header h1 {
     59  color: var(--theme-body-color);
     60  font-size: var(--title-font-size);
     61  margin: 0;
     62  line-height: var(--primary-line-height);
     63  font-weight: normal;
     64  padding-left: calc(2 * var(--base-spacing));
     65 }
     66 
     67 .landing-page .panel h3 {
     68  padding-left: calc(2 * var(--base-spacing));
     69 }
     70 
     71 .landing-page .panel header input::placeholder {
     72  color: var(--theme-body-color-inactive);
     73 }
     74 
     75 .landing-page .panel header input:focus {
     76  border: 1px solid var(--theme-selection-background);
     77 }
     78 
     79 .landing-page .panel .center-message {
     80  font-size: var(--ui-element-font-size);
     81  line-height: var(--secondary-line-height);
     82  padding: calc(var(--base-spacing) / 2);
     83 }
     84 
     85 .landing-page .center a {
     86  color: var(--theme-highlight-bluegrey);
     87  text-decoration: none;
     88 }
     89 
     90 .landing-page .panel .footer-note {
     91  padding: var(--base-spacing) 0;
     92  text-align: center;
     93  font-size: 14px;
     94  color: var(--theme-comment);
     95 }
     96 .landing-page .tab-group {
     97  flex: 1;
     98  overflow-y: auto;
     99 }
    100 
    101 .landing-page .tab-list {
    102  list-style: none;
    103  padding: 0;
    104  margin: 0;
    105 }
    106 
    107 .landing-page .tab {
    108  border-bottom: 1px solid var(--theme-splitter-color);
    109  padding: calc(var(--base-spacing) / 2) var(--base-spacing);
    110  font-family: sans-serif;
    111 }
    112 
    113 .landing-page .tab-sides {
    114  display: flex;
    115  justify-content: space-between;
    116  margin: 0 calc(var(--base-spacing) * 2);
    117 }
    118 
    119 .landing-page .tab-title {
    120  line-height: var(--secondary-line-height);
    121  font-size: var(--ui-element-font-size);
    122  color: var(--theme-highlight-bluegrey);
    123  word-break: break-all;
    124 }
    125 
    126 .landing-page .tab-url {
    127  color: var(--theme-comment);
    128  word-break: break-all;
    129 }
    130 
    131 .landing-page .tab-value {
    132  color: var(--theme-comment);
    133  line-height: var(--secondary-line-height);
    134  font-size: var(--ui-element-font-size);
    135 }
    136 
    137 .landing-page .tab:focus,
    138 .landing-page .tab.active {
    139  background: var(--theme-selection-background);
    140  color: var(--theme-selection-color);
    141  cursor: pointer;
    142  transition: var(--base-transition);
    143 }
    144 
    145 .landing-page .tab:focus .tab-title,
    146 .landing-page .tab.active .tab-title {
    147  color: inherit;
    148 }
    149 
    150 .landing-page .tab:focus .tab-url,
    151 .landing-page .tab.active .tab-url {
    152  color: var(--theme-highlight-gray);
    153 }
    154 .landing-page .sidebar {
    155  display: flex;
    156  background-color: var(--theme-tab-toolbar-background);
    157  width: 200px;
    158  flex-direction: column;
    159  border-right: 1px solid var(--theme-splitter-color);
    160 }
    161 
    162 .landing-page .sidebar h1 {
    163  color: var(--theme-body-color);
    164  font-size: var(--title-font-size);
    165  margin: 0;
    166  line-height: var(--primary-line-height);
    167  font-weight: normal;
    168  padding: calc(2 * var(--base-spacing)) var(--base-spacing);
    169 }
    170 
    171 .landing-page .sidebar ul {
    172  list-style: none;
    173  padding: 0;
    174  line-height: var(--primary-line-height);
    175  font-size: var(--ui-element-font-size);
    176 }
    177 
    178 .landing-page .sidebar li {
    179  padding: calc(var(--base-spacing) / 4) var(--base-spacing);
    180 }
    181 
    182 .landing-page .sidebar li a {
    183  color: var(--theme-body-color);
    184 }
    185 
    186 .landing-page .sidebar li.selected {
    187  background: var(--theme-highlight-bluegrey);
    188  color: var(--theme-selection-color);
    189  transition: var(--base-transition);
    190 }
    191 
    192 .landing-page .sidebar li.selected a {
    193  color: inherit;
    194 }
    195 
    196 .landing-page .sidebar li:hover,
    197 .landing-page .sidebar li:focus {
    198  background: var(--theme-selection-background);
    199  color: var(--theme-selection-color);
    200  cursor: pointer;
    201 }
    202 
    203 .landing-page .sidebar li:hover a,
    204 .landing-page .sidebar li:focus a {
    205  color: inherit;
    206 }
    207 :root.theme-light,
    208 :root .theme-light {
    209  --theme-search-overlays-semitransparent: rgba(221, 225, 228, 0.66);
    210 }
    211 
    212 * {
    213  box-sizing: border-box;
    214 }
    215 
    216 html,
    217 body {
    218  height: 100%;
    219  margin: 0;
    220  padding: 0;
    221  width: 100%;
    222 }
    223 
    224 #mount {
    225  display: flex;
    226  height: 100%;
    227 }
    228 
    229 ::-webkit-scrollbar {
    230  width: 8px;
    231  height: 8px;
    232  background: transparent;
    233 }
    234 
    235 ::-webkit-scrollbar-track {
    236  border-radius: 8px;
    237  background: transparent;
    238 }
    239 
    240 ::-webkit-scrollbar-thumb {
    241  border-radius: 8px;
    242  background: rgba(113, 113, 113, 0.5);
    243 }
    244 
    245 :root.theme-dark .CodeMirror-scrollbar-filler {
    246  background: transparent;
    247 }
    248 /* BASICS */
    249 
    250 .CodeMirror {
    251  /* Set height, width, borders, and global font properties here */
    252  font-family: monospace;
    253  height: 300px;
    254  color: black;
    255 }
    256 
    257 /* PADDING */
    258 
    259 .CodeMirror-lines {
    260  padding: 4px 0; /* Vertical padding around content */
    261 }
    262 .CodeMirror pre {
    263  padding: 0 4px; /* Horizontal padding of content */
    264 }
    265 
    266 .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
    267  background-color: white; /* The little square between H and V scrollbars */
    268 }
    269 
    270 /* GUTTER */
    271 
    272 .CodeMirror-gutters {
    273  border-right: 1px solid #ddd;
    274  background-color: #f7f7f7;
    275  white-space: nowrap;
    276 }
    277 .CodeMirror-linenumbers {}
    278 .CodeMirror-linenumber {
    279  padding: 0 3px 0 5px;
    280  min-width: 20px;
    281  text-align: right;
    282  color: #999;
    283  white-space: nowrap;
    284 }
    285 
    286 .CodeMirror-guttermarker { color: black; }
    287 .CodeMirror-guttermarker-subtle { color: #999; }
    288 
    289 /* CURSOR */
    290 
    291 .CodeMirror-cursor {
    292  border-left: 1px solid black;
    293  border-right: none;
    294  width: 0;
    295 }
    296 /* Shown when moving in bi-directional text */
    297 .CodeMirror div.CodeMirror-secondarycursor {
    298  border-left: 1px solid silver;
    299 }
    300 .cm-fat-cursor .CodeMirror-cursor {
    301  width: auto;
    302  border: 0 !important;
    303  background: #7e7;
    304 }
    305 .cm-fat-cursor div.CodeMirror-cursors {
    306  z-index: 1;
    307 }
    308 
    309 .cm-animate-fat-cursor {
    310  width: auto;
    311  border: 0;
    312  -webkit-animation: blink 1.06s steps(1) infinite;
    313  -moz-animation: blink 1.06s steps(1) infinite;
    314  animation: blink 1.06s steps(1) infinite;
    315  background-color: #7e7;
    316 }
    317 @-moz-keyframes blink {
    318  0% {}
    319  50% { background-color: transparent; }
    320  100% {}
    321 }
    322 @-webkit-keyframes blink {
    323  0% {}
    324  50% { background-color: transparent; }
    325  100% {}
    326 }
    327 @keyframes blink {
    328  0% {}
    329  50% { background-color: transparent; }
    330  100% {}
    331 }
    332 
    333 /* Can style cursor different in overwrite (non-insert) mode */
    334 .CodeMirror-overwrite .CodeMirror-cursor {}
    335 
    336 .cm-tab { display: inline-block; text-decoration: inherit; }
    337 
    338 .CodeMirror-rulers {
    339  position: absolute;
    340  left: 0; right: 0; top: -50px; bottom: -20px;
    341  overflow: hidden;
    342 }
    343 .CodeMirror-ruler {
    344  border-left: 1px solid #ccc;
    345  top: 0; bottom: 0;
    346  position: absolute;
    347 }
    348 
    349 /* DEFAULT THEME */
    350 
    351 .cm-s-default .cm-header {color: blue;}
    352 .cm-s-default .cm-quote {color: #090;}
    353 .cm-negative {color: #d44;}
    354 .cm-positive {color: #292;}
    355 .cm-header, .cm-strong {font-weight: bold;}
    356 .cm-em {font-style: italic;}
    357 .cm-link {text-decoration: underline;}
    358 .cm-strikethrough {text-decoration: line-through;}
    359 
    360 .cm-s-default .cm-keyword {color: #708;}
    361 .cm-s-default .cm-atom {color: #219;}
    362 .cm-s-default .cm-number {color: #164;}
    363 .cm-s-default .cm-def {color: #00f;}
    364 .cm-s-default .cm-variable,
    365 .cm-s-default .cm-punctuation,
    366 .cm-s-default .cm-property,
    367 .cm-s-default .cm-operator {}
    368 .cm-s-default .cm-variable-2 {color: #05a;}
    369 .cm-s-default .cm-variable-3 {color: #085;}
    370 .cm-s-default .cm-comment {color: #a50;}
    371 .cm-s-default .cm-string {color: #a11;}
    372 .cm-s-default .cm-string-2 {color: #f50;}
    373 .cm-s-default .cm-meta {color: #555;}
    374 .cm-s-default .cm-qualifier {color: #555;}
    375 .cm-s-default .cm-builtin {color: #30a;}
    376 .cm-s-default .cm-bracket {color: #997;}
    377 .cm-s-default .cm-tag {color: #170;}
    378 .cm-s-default .cm-attribute {color: #00c;}
    379 .cm-s-default .cm-hr {color: #999;}
    380 .cm-s-default .cm-link {color: #00c;}
    381 
    382 .cm-s-default .cm-error {color: #f00;}
    383 .cm-invalidchar {color: #f00;}
    384 
    385 .CodeMirror-composing { border-bottom: 2px solid; }
    386 
    387 /* Default styles for common addons */
    388 
    389 div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;}
    390 div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;}
    391 .CodeMirror-matchingtag { background: rgba(255, 150, 0, .3); }
    392 .CodeMirror-activeline-background {background: #e8f2ff;}
    393 
    394 /* STOP */
    395 
    396 /* The rest of this file contains styles related to the mechanics of
    397   the editor. You probably shouldn't touch them. */
    398 
    399 .CodeMirror {
    400  position: relative;
    401  overflow: hidden;
    402  background: white;
    403 }
    404 
    405 .CodeMirror-scroll {
    406  overflow: scroll !important; /* Things will break if this is overridden */
    407  /* 30px is the magic margin used to hide the element's real scrollbars */
    408  /* See overflow: hidden in .CodeMirror */
    409  margin-bottom: -30px; margin-right: -30px;
    410  padding-bottom: 30px;
    411  height: 100%;
    412  outline: none; /* Prevent dragging from highlighting the element */
    413  position: relative;
    414 }
    415 .CodeMirror-sizer {
    416  position: relative;
    417  border-right: 30px solid transparent;
    418 }
    419 
    420 /* The fake, visible scrollbars. Used to force redraw during scrolling
    421   before actual scrolling happens, thus preventing shaking and
    422   flickering artifacts. */
    423 .CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
    424  position: absolute;
    425  z-index: 6;
    426  display: none;
    427 }
    428 .CodeMirror-vscrollbar {
    429  right: 0; top: 0;
    430  overflow-x: hidden;
    431  overflow-y: scroll;
    432 }
    433 .CodeMirror-hscrollbar {
    434  bottom: 0; left: 0;
    435  overflow-y: hidden;
    436  overflow-x: scroll;
    437 }
    438 .CodeMirror-scrollbar-filler {
    439  right: 0; bottom: 0;
    440 }
    441 .CodeMirror-gutter-filler {
    442  left: 0; bottom: 0;
    443 }
    444 
    445 .CodeMirror-gutters {
    446  position: absolute; left: 0; top: 0;
    447  min-height: 100%;
    448  z-index: 3;
    449 }
    450 .CodeMirror-gutter {
    451  white-space: normal;
    452  height: 100%;
    453  display: inline-block;
    454  vertical-align: top;
    455  margin-bottom: -30px;
    456 }
    457 .CodeMirror-gutter-wrapper {
    458  position: absolute;
    459  z-index: 4;
    460  background: none !important;
    461  border: none !important;
    462 }
    463 .CodeMirror-gutter-background {
    464  position: absolute;
    465  top: 0; bottom: 0;
    466  z-index: 4;
    467 }
    468 .CodeMirror-gutter-elt {
    469  position: absolute;
    470  cursor: default;
    471  z-index: 4;
    472 }
    473 .CodeMirror-gutter-wrapper {
    474  -webkit-user-select: none;
    475  user-select: none;
    476 }
    477 
    478 .CodeMirror-lines {
    479  cursor: text;
    480  min-height: 1px; /* prevents collapsing before first draw */
    481 }
    482 .CodeMirror pre {
    483  /* Reset some styles that the rest of the page might have set */
    484  -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
    485  border-width: 0;
    486  background: transparent;
    487  font-family: inherit;
    488  font-size: inherit;
    489  margin: 0;
    490  white-space: pre;
    491  word-wrap: normal;
    492  line-height: inherit;
    493  color: inherit;
    494  z-index: 2;
    495  position: relative;
    496  overflow: visible;
    497  -webkit-tap-highlight-color: transparent;
    498  -webkit-font-variant-ligatures: contextual;
    499  font-variant-ligatures: contextual;
    500 }
    501 .CodeMirror-wrap pre {
    502  word-wrap: break-word;
    503  white-space: pre-wrap;
    504  word-break: normal;
    505 }
    506 
    507 .CodeMirror-linebackground {
    508  position: absolute;
    509  left: 0; right: 0; top: 0; bottom: 0;
    510  z-index: 0;
    511 }
    512 
    513 .CodeMirror-linewidget {
    514  position: relative;
    515  z-index: 2;
    516  overflow: auto;
    517 }
    518 
    519 .CodeMirror-widget {}
    520 
    521 .CodeMirror-code {
    522  outline: none;
    523 }
    524 
    525 /* Force content-box sizing for the elements where we expect it */
    526 .CodeMirror-scroll,
    527 .CodeMirror-sizer,
    528 .CodeMirror-gutter,
    529 .CodeMirror-gutters,
    530 .CodeMirror-linenumber {
    531  -moz-box-sizing: content-box;
    532  box-sizing: content-box;
    533 }
    534 
    535 .CodeMirror-measure {
    536  position: absolute;
    537  width: 100%;
    538  height: 0;
    539  overflow: hidden;
    540  visibility: hidden;
    541 }
    542 
    543 .CodeMirror-cursor {
    544  position: absolute;
    545  pointer-events: none;
    546 }
    547 .CodeMirror-measure pre { position: static; }
    548 
    549 div.CodeMirror-cursors {
    550  visibility: hidden;
    551  position: relative;
    552  z-index: 3;
    553 }
    554 div.CodeMirror-dragcursors {
    555  visibility: visible;
    556 }
    557 
    558 .CodeMirror-focused div.CodeMirror-cursors {
    559  visibility: visible;
    560 }
    561 
    562 .CodeMirror-selected { background: #d9d9d9; }
    563 .CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
    564 .CodeMirror-crosshair { cursor: crosshair; }
    565 .CodeMirror-line::selection, .CodeMirror-line > span::selection, .CodeMirror-line > span > span::selection { background: #d7d4f0; }
    566 .CodeMirror-line::-moz-selection, .CodeMirror-line > span::-moz-selection, .CodeMirror-line > span > span::-moz-selection { background: #d7d4f0; }
    567 
    568 .cm-searching {
    569  background: #ffa;
    570  background: rgba(255, 255, 0, .4);
    571 }
    572 
    573 /* Used to force a border model for a node */
    574 .cm-force-border { padding-right: .1px; }
    575 
    576 @media print {
    577  /* Hide the cursor when printing */
    578  .CodeMirror div.CodeMirror-cursors {
    579    visibility: hidden;
    580  }
    581 }
    582 
    583 /* See issue #2901 */
    584 .cm-tab-wrap-hack:after { content: ''; }
    585 
    586 /* Help users use markselection to safely style text background */
    587 span.CodeMirror-selectedtext { background: none; }
    588 /* This Source Code Form is subject to the terms of the Mozilla Public
    589 * License, v. 2.0. If a copy of the MPL was not distributed with this
    590 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
    591 
    592 :root {
    593  /* --breakpoint-background: url("chrome://devtools/skin/images/breakpoint.svg#light"); */
    594  /* --breakpoint-hover-background: url("chrome://devtools/skin/images/breakpoint.svg#light-hover"); */
    595  --breakpoint-active-color: rgba(44,187,15,.2);
    596  --breakpoint-active-color-hover: rgba(44,187,15,.5);
    597  /* --breakpoint-conditional-background: url("chrome://devtools/skin/images/breakpoint.svg#light-conditional"); */
    598 }
    599 
    600 .theme-dark:root {
    601  /* --breakpoint-background: url("chrome://devtools/skin/images/breakpoint.svg#dark"); */
    602  /* --breakpoint-hover-background: url("chrome://devtools/skin/images/breakpoint.svg#dark-hover"); */
    603  --breakpoint-active-color: rgba(0,255,175,.4);
    604  --breakpoint-active-color-hover: rgba(0,255,175,.7);
    605  /* --breakpoint-conditional-background: url("chrome://devtools/skin/images/breakpoint.svg#dark-conditional"); */
    606 }
    607 
    608 .CodeMirror .errors {
    609  width: 16px;
    610 }
    611 
    612 .CodeMirror .error {
    613  display: inline-block;
    614  margin-left: 5px;
    615  width: 12px;
    616  height: 12px;
    617  background-repeat: no-repeat;
    618  background-position: center;
    619  background-size: contain;
    620  /* background-image: url("chrome://devtools/skin/images/editor-error.png"); */
    621  opacity: 0.75;
    622 }
    623 
    624 .CodeMirror .hit-counts {
    625  width: 6px;
    626 }
    627 
    628 .CodeMirror .hit-count {
    629  display: inline-block;
    630  height: 12px;
    631  border: solid rgba(0,0,0,0.2);
    632  border-width: 1px 1px 1px 0;
    633  border-radius: 0 3px 3px 0;
    634  padding: 0 3px;
    635  font-size: 10px;
    636  pointer-events: none;
    637 }
    638 
    639 .CodeMirror-linenumber:before {
    640  content: " ";
    641  display: block;
    642  width: calc(100% - 3px);
    643  position: absolute;
    644  top: 1px;
    645  left: 0;
    646  height: 12px;
    647  z-index: -1;
    648  background-size: calc(100% - 2px) 12px;
    649  background-repeat: no-repeat;
    650  background-position: right center;
    651  padding-inline-end: 9px;
    652 }
    653 
    654 .breakpoint .CodeMirror-linenumber {
    655  color: var(--theme-body-background);
    656 }
    657 
    658 .breakpoint .CodeMirror-linenumber:before {
    659  background-image: var(--breakpoint-background) !important;
    660 }
    661 
    662 .conditional .CodeMirror-linenumber:before {
    663  background-image: var(--breakpoint-conditional-background) !important;
    664 }
    665 
    666 .debug-line .CodeMirror-linenumber {
    667  background-color: var(--breakpoint-active-color);
    668 }
    669 
    670 .theme-dark .debug-line .CodeMirror-linenumber {
    671  color: #c0c0c0;
    672 }
    673 
    674 .debug-line .CodeMirror-line {
    675  background-color: var(--breakpoint-active-color) !important;
    676 }
    677 
    678 /* Don't display the highlight color since the debug line
    679   is already highlighted */
    680 .debug-line .CodeMirror-activeline-background {
    681  display: none;
    682 }
    683 
    684 .CodeMirror {
    685  cursor: text;
    686  height: 100%;
    687 }
    688 
    689 .CodeMirror-gutters {
    690  cursor: default;
    691 }
    692 
    693 /* This is to avoid the fake horizontal scrollbar div of codemirror to go 0
    694 height when floating scrollbars are active. Make sure that this value is equal
    695 to the maximum of `min-height` specific to the `scrollbar[orient="horizontal"]`
    696 selector in floating-scrollbar-light.css across all platforms. */
    697 .CodeMirror-hscrollbar {
    698  min-height: 10px;
    699 }
    700 
    701 /* This is to avoid the fake vertical scrollbar div of codemirror to go 0
    702 width when floating scrollbars are active. Make sure that this value is equal
    703 to the maximum of `min-width` specific to the `scrollbar[orient="vertical"]`
    704 selector in floating-scrollbar-light.css across all platforms. */
    705 .CodeMirror-vscrollbar {
    706  min-width: 10px;
    707 }
    708 
    709 .cm-trailingspace {
    710  background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==");
    711  opacity: 0.75;
    712  background-position: left bottom;
    713  background-repeat: repeat-x;
    714 }
    715 
    716 .cm-highlight {
    717  position: relative;
    718 }
    719 
    720 .cm-highlight:before {
    721  position: absolute;
    722  border-top-style: solid;
    723  border-bottom-style: solid;
    724  border-top-color: var(--theme-comment-alt);
    725  border-bottom-color: var(--theme-comment-alt);
    726  border-top-width: 1px;
    727  border-bottom-width: 1px;
    728  top: -1px;
    729  bottom: 0;
    730  left: 0;
    731  right: 0;
    732  content: "";
    733  margin-bottom: -1px;
    734 }
    735 
    736 .cm-highlight-full:before {
    737  border: 1px solid var(--theme-comment-alt);
    738 }
    739 
    740 .cm-highlight-start:before {
    741  border-left-width: 1px;
    742  border-left-style: solid;
    743  border-left-color: var(--theme-comment-alt);
    744  margin: 0 0 -1px -1px;
    745  border-top-left-radius: 2px;
    746  border-bottom-left-radius: 2px;
    747 }
    748 
    749 .cm-highlight-end:before {
    750  border-right-width: 1px;
    751  border-right-style: solid;
    752  border-right-color: var(--theme-comment-alt);
    753  margin: 0 -1px -1px 0;
    754  border-top-right-radius: 2px;
    755  border-bottom-right-radius: 2px;
    756 }
    757 
    758 /* CodeMirror dialogs styling */
    759 
    760 .CodeMirror-dialog {
    761  padding: 4px 3px;
    762 }
    763 
    764 .CodeMirror-dialog,
    765 .CodeMirror-dialog input {
    766  font: message-box;
    767 }
    768 
    769 /* Fold addon */
    770 
    771 .CodeMirror-foldmarker {
    772  color: blue;
    773  text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
    774  font-family: sans-serif;
    775  line-height: .3;
    776  cursor: pointer;
    777 }
    778 
    779 .CodeMirror-foldgutter {
    780  width: 16px; /* Same as breakpoints gutter above */
    781 }
    782 
    783 .CodeMirror-foldgutter-open,
    784 .CodeMirror-foldgutter-folded {
    785  color: #555;
    786  cursor: pointer;
    787 }
    788 
    789 .CodeMirror-foldgutter-open:after {
    790  font-size: 120%;
    791  content: "\25BE";
    792 }
    793 
    794 .CodeMirror-foldgutter-folded:after {
    795  font-size: 120%;
    796  content: "\25B8";
    797 }
    798 
    799 .CodeMirror-hints {
    800  position: absolute;
    801  z-index: 10;
    802  overflow: hidden;
    803  list-style: none;
    804  margin: 0;
    805  padding: 2px;
    806  border-radius: 3px;
    807  font-size: 90%;
    808  max-height: 20em;
    809  overflow-y: auto;
    810 }
    811 
    812 .CodeMirror-hint {
    813  margin: 0;
    814  padding: 0 4px;
    815  border-radius: 2px;
    816  max-width: 19em;
    817  overflow: hidden;
    818  white-space: pre;
    819  cursor: pointer;
    820 }
    821 
    822 .CodeMirror-Tern-completion {
    823  padding-inline-start: 22px;
    824  position: relative;
    825  line-height: 18px;
    826 }
    827 
    828 .CodeMirror-Tern-completion:before {
    829  position: absolute;
    830  left: 2px;
    831  bottom: 2px;
    832  border-radius: 50%;
    833  font-size: 12px;
    834  font-weight: bold;
    835  height: 15px;
    836  width: 15px;
    837  line-height: 16px;
    838  text-align: center;
    839  color: #ffffff;
    840  box-sizing: border-box;
    841 }
    842 
    843 .CodeMirror-Tern-completion-unknown:before {
    844  content: "?";
    845 }
    846 
    847 .CodeMirror-Tern-completion-object:before {
    848  content: "O";
    849 }
    850 
    851 .CodeMirror-Tern-completion-fn:before {
    852  content: "F";
    853 }
    854 
    855 .CodeMirror-Tern-completion-array:before {
    856  content: "A";
    857 }
    858 
    859 .CodeMirror-Tern-completion-number:before {
    860  content: "N";
    861 }
    862 
    863 .CodeMirror-Tern-completion-string:before {
    864  content: "S";
    865 }
    866 
    867 .CodeMirror-Tern-completion-bool:before {
    868  content: "B";
    869 }
    870 
    871 .CodeMirror-Tern-completion-guess {
    872  color: #999;
    873 }
    874 
    875 .CodeMirror-Tern-tooltip {
    876  border-radius: 3px;
    877  padding: 2px 5px;
    878  white-space: pre-wrap;
    879  max-width: 40em;
    880  position: absolute;
    881  z-index: 10;
    882 }
    883 
    884 .CodeMirror-Tern-hint-doc {
    885  max-width: 25em;
    886 }
    887 
    888 .CodeMirror-Tern-farg-current {
    889  text-decoration: underline;
    890 }
    891 
    892 .CodeMirror-Tern-fhint-guess {
    893  opacity: .7;
    894 }
    895 :root.theme-light,
    896 :root .theme-light {
    897  --search-overlays-semitransparent: rgba(221, 225, 228, 0.66);
    898 }
    899 
    900 :root.theme-dark,
    901 :root .theme-dark {
    902  --search-overlays-semitransparent: rgba(42, 46, 56, 0.66);
    903 }
    904 .debugger {
    905  display: flex;
    906  flex: 1;
    907  height: 100%;
    908 }
    909 
    910 .editor-pane {
    911  display: flex;
    912  position: relative;
    913  flex: 1;
    914  background-color: var(--theme-tab-toolbar-background);
    915  height: calc(100% - 1px);
    916  overflow: hidden;
    917 }
    918 
    919 .editor-container {
    920  width: 100%;
    921 }
    922 
    923 .subsettings:hover {
    924  cursor: pointer;
    925 }
    926 
    927 .search-container {
    928  position: absolute;
    929  top: 0;
    930  left: 0;
    931  width: 100%;
    932  height: 100%;
    933  display: flex;
    934  z-index: 200;
    935  background-color: var(--search-overlays-semitransparent);
    936 }
    937 
    938 .search-container .close-button {
    939  width: 16px;
    940  margin-top: 25px;
    941  margin-right: 20px;
    942 }
    943 menupopup {
    944  position: fixed;
    945  z-index: 10000;
    946  background: white;
    947  border: 1px solid #cccccc;
    948  padding: 5px 0;
    949  background: #f2f2f2;
    950  border-radius: 5px;
    951  color: #585858;
    952  box-shadow: 0 0 4px 0 rgba(190, 190, 190, 0.8);
    953  min-width: 130px;
    954 }
    955 
    956 menuitem {
    957  display: block;
    958  padding: 0 20px;
    959  line-height: 20px;
    960  font-weight: 500;
    961  font-size: 13px;
    962  user-select: none;
    963 }
    964 
    965 menuitem:hover {
    966  background: #3780fb;
    967  color: white;
    968  cursor: pointer;
    969 }
    970 
    971 menuitem[disabled=true] {
    972  color: #cccccc;
    973 }
    974 
    975 menuitem[disabled=true]:hover {
    976  background-color: transparent;
    977  cursor: default;
    978 }
    979 
    980 menuseparator {
    981  border-bottom: 1px solid #cacdd3;
    982  width: 100%;
    983  height: 5px;
    984  display: block;
    985  margin-bottom: 5px;
    986 }
    987 
    988 #contextmenu-mask.show {
    989  position: fixed;
    990  top: 0;
    991  left: 0;
    992  width: 100%;
    993  height: 100%;
    994  z-index: 999;
    995 }
    996 /* vim:set ts=2 sw=2 sts=2 et: */
    997 /* This Source Code Form is subject to the terms of the Mozilla Public
    998 * License, v. 2.0. If a copy of the MPL was not distributed with this
    999 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   1000 
   1001 .split-box {
   1002  display: flex;
   1003  flex: 1;
   1004  min-width: 0;
   1005  height: 100%;
   1006  width: 100%;
   1007 }
   1008 
   1009 .split-box.vert {
   1010  flex-direction: row;
   1011 }
   1012 
   1013 .split-box.horz {
   1014  flex-direction: column;
   1015 }
   1016 
   1017 .split-box > .uncontrolled {
   1018  display: flex;
   1019  flex: 1;
   1020  min-width: 0;
   1021  overflow: auto;
   1022 }
   1023 
   1024 .split-box > .controlled {
   1025  display: flex;
   1026  overflow: auto;
   1027 }
   1028 
   1029 .split-box > .splitter {
   1030  background-image: none;
   1031  border: 0;
   1032  border-style: solid;
   1033  border-color: transparent;
   1034  background-color: var(--theme-splitter-color);
   1035  background-clip: content-box;
   1036  position: relative;
   1037 
   1038  box-sizing: border-box;
   1039 
   1040  /* Positive z-index positions the splitter on top of its siblings and makes
   1041     it clickable on both sides. */
   1042  z-index: 1;
   1043 }
   1044 
   1045 .split-box.vert > .splitter {
   1046  min-width: calc(var(--devtools-splitter-inline-start-width) +
   1047    var(--devtools-splitter-inline-end-width) + 1px);
   1048 
   1049  border-left-width: var(--devtools-splitter-inline-start-width);
   1050  border-right-width: var(--devtools-splitter-inline-end-width);
   1051 
   1052  margin-left: calc(-1 * var(--devtools-splitter-inline-start-width) - 1px);
   1053  margin-right: calc(-1 * var(--devtools-splitter-inline-end-width));
   1054 
   1055  cursor: ew-resize;
   1056 }
   1057 
   1058 .split-box.horz > .splitter {
   1059  min-height: calc(var(--devtools-splitter-top-width) +
   1060    var(--devtools-splitter-bottom-width) + 1px);
   1061 
   1062  border-top-width: var(--devtools-splitter-top-width);
   1063  border-bottom-width: var(--devtools-splitter-bottom-width);
   1064 
   1065  margin-top: calc(-1 * var(--devtools-splitter-top-width) - 1px);
   1066  margin-bottom: calc(-1 * var(--devtools-splitter-bottom-width));
   1067 
   1068  cursor: ns-resize;
   1069 }
   1070 
   1071 .split-box.disabled {
   1072  pointer-events: none;
   1073 }
   1074 
   1075 /**
   1076 * Make sure splitter panels are not processing any mouse
   1077 * events. This is good for performance during splitter
   1078 * bar dragging.
   1079 */
   1080 .split-box.dragging > .controlled,
   1081 .split-box.dragging > .uncontrolled {
   1082  pointer-events: none;
   1083 }
   1084 /* vim:set ts=2 sw=2 sts=2 et: */
   1085 /* This Source Code Form is subject to the terms of the Mozilla Public
   1086 * License, v. 2.0. If a copy of the MPL was not distributed with this
   1087 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   1088 
   1089 .theme-dark,
   1090 .theme-light {
   1091  --number-color: var(--theme-highlight-green);
   1092  --string-color: var(--theme-highlight-orange);
   1093  --null-color: var(--theme-comment);
   1094  --object-color: var(--theme-body-color);
   1095  --caption-color: var(--theme-highlight-blue);
   1096  --location-color: var(--theme-content-color1);
   1097  --source-link-color: var(--theme-highlight-blue);
   1098  --node-color: var(--theme-highlight-bluegrey);
   1099  --reference-color: var(--theme-highlight-purple);
   1100 }
   1101 
   1102 .theme-firebug {
   1103  --number-color: #000088;
   1104  --string-color: #FF0000;
   1105  --null-color: #787878;
   1106  --object-color: DarkGreen;
   1107  --caption-color: #444444;
   1108  --location-color: #555555;
   1109  --source-link-color: blue;
   1110  --node-color: rgb(0, 0, 136);
   1111  --reference-color: rgb(102, 102, 255);
   1112 }
   1113 
   1114 /******************************************************************************/
   1115 
   1116 .objectLink:hover {
   1117  cursor: pointer;
   1118  text-decoration: underline;
   1119 }
   1120 
   1121 .inline {
   1122  display: inline;
   1123  white-space: normal;
   1124 }
   1125 
   1126 .objectBox-object {
   1127  font-weight: bold;
   1128  color: var(--object-color);
   1129  white-space: pre-wrap;
   1130 }
   1131 
   1132 .objectBox-string,
   1133 .objectBox-text,
   1134 .objectLink-textNode,
   1135 .objectBox-table {
   1136  white-space: pre-wrap;
   1137 }
   1138 
   1139 .objectBox-number,
   1140 .objectLink-styleRule,
   1141 .objectLink-element,
   1142 .objectLink-textNode,
   1143 .objectBox-array > .length {
   1144  color: var(--number-color);
   1145 }
   1146 
   1147 .objectBox-string {
   1148  color: var(--string-color);
   1149 }
   1150 
   1151 .objectLink-function,
   1152 .objectBox-stackTrace,
   1153 .objectLink-profile {
   1154  color: var(--object-color);
   1155 }
   1156 
   1157 .objectLink-Location {
   1158  font-style: italic;
   1159  color: var(--location-color);
   1160 }
   1161 
   1162 .objectBox-null,
   1163 .objectBox-undefined,
   1164 .objectBox-hint,
   1165 .logRowHint {
   1166  font-style: italic;
   1167  color: var(--null-color);
   1168 }
   1169 
   1170 .objectLink-sourceLink {
   1171  position: absolute;
   1172  right: 4px;
   1173  top: 2px;
   1174  padding-left: 8px;
   1175  font-weight: bold;
   1176  color: var(--source-link-color);
   1177 }
   1178 
   1179 /******************************************************************************/
   1180 
   1181 .objectLink-event,
   1182 .objectLink-eventLog,
   1183 .objectLink-regexp,
   1184 .objectLink-object,
   1185 .objectLink-Date {
   1186  font-weight: bold;
   1187  color: var(--object-color);
   1188  white-space: pre-wrap;
   1189 }
   1190 
   1191 /******************************************************************************/
   1192 
   1193 .objectLink-object .nodeName,
   1194 .objectLink-NamedNodeMap .nodeName,
   1195 .objectLink-NamedNodeMap .objectEqual,
   1196 .objectLink-NamedNodeMap .arrayLeftBracket,
   1197 .objectLink-NamedNodeMap .arrayRightBracket,
   1198 .objectLink-Attr .attrEqual,
   1199 .objectLink-Attr .attrTitle {
   1200  color: var(--node-color);
   1201 }
   1202 
   1203 .objectLink-object .nodeName {
   1204  font-weight: normal;
   1205 }
   1206 
   1207 /******************************************************************************/
   1208 
   1209 .objectLeftBrace,
   1210 .objectRightBrace,
   1211 .arrayLeftBracket,
   1212 .arrayRightBracket {
   1213  cursor: pointer;
   1214  font-weight: bold;
   1215 }
   1216 
   1217 .objectLeftBrace,
   1218 .arrayLeftBracket {
   1219  margin-right: 4px;
   1220 }
   1221 
   1222 .objectRightBrace,
   1223 .arrayRightBracket {
   1224  margin-left: 4px;
   1225 }
   1226 
   1227 /******************************************************************************/
   1228 /* Cycle reference*/
   1229 
   1230 .objectLink-Reference {
   1231  font-weight: bold;
   1232  color: var(--reference-color);
   1233 }
   1234 
   1235 .objectBox-array > .objectTitle {
   1236  font-weight: bold;
   1237  color: var(--object-color);
   1238 }
   1239 
   1240 .caption {
   1241  font-weight: bold;
   1242  color:  var(--caption-color);
   1243 }
   1244 
   1245 /******************************************************************************/
   1246 /* Themes */
   1247 
   1248 .theme-dark .objectBox-null,
   1249 .theme-dark .objectBox-undefined,
   1250 .theme-light .objectBox-null,
   1251 .theme-light .objectBox-undefined {
   1252  font-style: normal;
   1253 }
   1254 
   1255 .theme-dark .objectBox-object,
   1256 .theme-light .objectBox-object {
   1257  font-weight: normal;
   1258  white-space: pre-wrap;
   1259 }
   1260 
   1261 .theme-dark .caption,
   1262 .theme-light .caption {
   1263  font-weight: normal;
   1264 }
   1265 
   1266 .search-container {
   1267  position: absolute;
   1268  top: 30px;
   1269  left: 0;
   1270  width: calc(100% - 1px);
   1271  height: calc(100% - 31px);
   1272  display: flex;
   1273  z-index: 200;
   1274  background-color: var(--theme-body-background);
   1275 }
   1276 
   1277 .searchinput-container {
   1278  display: flex;
   1279  border-bottom: 1px solid var(--theme-splitter-color);
   1280 }
   1281 
   1282 .theme-dark .result-list li .subtitle {
   1283  color: var(--theme-comment-alt);
   1284 }
   1285 
   1286 .arrow,
   1287 .folder,
   1288 .domain,
   1289 .file,
   1290 .worker,
   1291 .refresh,
   1292 .add-button {
   1293  fill: var(--theme-splitter-color);
   1294 }
   1295 
   1296 .worker,
   1297 .folder {
   1298  position: relative;
   1299  top: 2px;
   1300 }
   1301 
   1302 .domain,
   1303 .file,
   1304 .worker,
   1305 .refresh,
   1306 .add-button {
   1307  position: relative;
   1308  top: 1px;
   1309 }
   1310 
   1311 .domain svg,
   1312 .folder svg,
   1313 .worker svg,
   1314 .refresh svg,
   1315 .add-button svg {
   1316  width: 15px;
   1317 }
   1318 
   1319 .file svg {
   1320  width: 13px;
   1321 }
   1322 
   1323 .file svg,
   1324 .domain svg,
   1325 .folder svg,
   1326 .refresh svg,
   1327 .worker svg {
   1328  margin-inline-end: 5px;
   1329 }
   1330 
   1331 .arrow svg {
   1332  fill: var(--theme-splitter-color);
   1333  margin-top: 3px;
   1334  transition: transform 0.25s ease;
   1335  width: 10px;
   1336 }
   1337 
   1338 html:not([dir="rtl"]) .arrow svg {
   1339  margin-right: 5px;
   1340  transform: rotate(-90deg);
   1341 }
   1342 
   1343 html[dir="rtl"] .arrow svg {
   1344  margin-left: 5px;
   1345  transform: rotate(90deg);
   1346 }
   1347 
   1348 /* TODO (Amit): html is just for specificity. keep it like this? */
   1349 html .arrow.expanded svg {
   1350  transform: rotate(0deg);
   1351 }
   1352 
   1353 .arrow.hidden {
   1354  visibility: hidden;
   1355 }
   1356 .close-btn path {
   1357  fill: var(--theme-comment-alt);
   1358 }
   1359 
   1360 .close-btn .close {
   1361  cursor: pointer;
   1362  width: 14px;
   1363  height: 14px;
   1364  padding: 2px;
   1365  text-align: center;
   1366  margin-top: 2px;
   1367  line-height: 7px;
   1368  transition: all 0.25s easeinout;
   1369 }
   1370 
   1371 .close-btn .close svg {
   1372  width: 8px;
   1373 }
   1374 
   1375 .close-btn:hover {
   1376  display: block;
   1377 }
   1378 
   1379 .close-btn:hover .close {
   1380  background: var(--theme-selection-background);
   1381  border-radius: 2px;
   1382 }
   1383 
   1384 .close-btn:hover .close path {
   1385  fill: white;
   1386 }
   1387 
   1388 .close-btn-big {
   1389  padding: 11px;
   1390  margin-right: 7px;
   1391  width: 27px;
   1392  height: 40px;
   1393 }
   1394 
   1395 .close-btn-big .close {
   1396  cursor: pointer;
   1397  display: inline-block;
   1398  padding: 2px;
   1399  text-align: center;
   1400  transition: all 0.25s easeinout;
   1401  line-height: 100%;
   1402  width: 16px;
   1403  height: 16px;
   1404 }
   1405 
   1406 .close-btn-big .close svg {
   1407  width: 9px;
   1408  height: 9px;
   1409 }
   1410 
   1411 .close-btn-big .close:hover {
   1412  border-radius: 2px;
   1413 }
   1414 
   1415 .search-field {
   1416  width: calc(100% - 1px);
   1417  height: 27px;
   1418  background-color: var(--theme-toolbar-background);
   1419  border-bottom: 1px solid var(--theme-splitter-color);
   1420  padding-right: 10px;
   1421  display: flex;
   1422  flex-shrink: 0;
   1423 }
   1424 
   1425 .search-field.big {
   1426  height: 40px;
   1427  font-size: 14px;
   1428 }
   1429 
   1430 .search-field.big input {
   1431  font-size: 14px;
   1432 }
   1433 
   1434 .search-field i {
   1435  display: block;
   1436  padding: 0;
   1437  width: 16px;
   1438 }
   1439 
   1440 .search-field i svg {
   1441  width: 16px;
   1442 }
   1443 
   1444 .search-field.big input {
   1445  line-height: 40px;
   1446 }
   1447 
   1448 .search-field input {
   1449  border: none;
   1450  line-height: 30px;
   1451  background-color: var(--theme-toolbar-background);
   1452  color: var(--theme-body-color-inactive);
   1453  width: calc(100% - 38px);
   1454  flex: 1;
   1455 }
   1456 
   1457 .theme-dark .search-field input {
   1458  color: var(--theme-body-color-inactive);
   1459 }
   1460 
   1461 .search-field i.magnifying-glass,
   1462 .search-field i.sad-face {
   1463  padding: 6px;
   1464  width: 24px;
   1465 }
   1466 
   1467 .search-field.big i.magnifying-glass,
   1468 .search-field.big i.sad-face {
   1469  padding: 14px;
   1470  width: 40px;
   1471 }
   1472 
   1473 .search-field .magnifying-glass path,
   1474 .search-field .magnifying-glass ellipse {
   1475  stroke: var(--theme-splitter-color);
   1476 }
   1477 
   1478 .search-field ::-webkit-input-placeholder {
   1479  color: var(--theme-body-color-inactive);
   1480 }
   1481 
   1482 .search-field input::placeholder {
   1483  color: var(--theme-body-color-inactive);
   1484 }
   1485 
   1486 .search-field input:focus {
   1487  outline-width: 0;
   1488 }
   1489 
   1490 .search-field input.empty {
   1491  color: var(--theme-highlight-orange);
   1492 }
   1493 
   1494 .search-field.big .summary {
   1495  line-height: 40px;
   1496 }
   1497 
   1498 .search-field .summary {
   1499  line-height: 27px;
   1500  padding-right: 10px;
   1501  color: var(--theme-body-color-inactive);
   1502 }
   1503 
   1504 .result-list {
   1505  list-style: none;
   1506  width: 100%;
   1507  background-color: var(--theme-toolbar-background);
   1508  margin: 0px;
   1509  padding: 0px;
   1510  overflow: auto;
   1511 }
   1512 
   1513 .result-list.big {
   1514  max-height: calc(100% - 32px);
   1515 }
   1516 
   1517 .result-list * {
   1518  user-select: none;
   1519 }
   1520 
   1521 .result-list li {
   1522  color: var(--theme-body-color);
   1523  background-color: var(--theme-tab-toolbar-background);
   1524  padding: 4px 13px;
   1525  display: flex;
   1526  justify-content: space-between;
   1527 }
   1528 
   1529 .result-list li:first-child {
   1530  border-top: none;
   1531 }
   1532 
   1533 .result-list.big li {
   1534  padding: 10px;
   1535  flex-direction: column;
   1536  border-bottom: 1px solid var(--theme-splitter-color);
   1537 }
   1538 
   1539 .result-list li:hover {
   1540  background: var(--theme-tab-toolbar-background);
   1541  cursor: pointer;
   1542 }
   1543 
   1544 .result-list li.selected {
   1545  border: 1px solid var(--theme-selection-background);
   1546 }
   1547 
   1548 .result-list.big li.selected {
   1549  padding-left: 9px;
   1550  padding-top: 9px;
   1551 }
   1552 
   1553 .search-bar .result-list li.selected {
   1554  background-color: var(--theme-selection-background);
   1555  color: white;
   1556 }
   1557 
   1558 .result-list li .title {
   1559  line-height: 1.5em;
   1560  word-break: break-all;
   1561 }
   1562 
   1563 .result-list li.selected .title {
   1564  color: white;
   1565 }
   1566 
   1567 .result-list.big li.selected .title {
   1568  color: var(--theme-body-color);
   1569 }
   1570 
   1571 .result-list.big li .subtitle {
   1572  word-break: break-all;
   1573  color: var(--theme-body-color-inactive);
   1574 }
   1575 
   1576 .result-list.big li .subtitle {
   1577  line-height: 1.5em;
   1578 }
   1579 
   1580 .search-bar .result-list li.selected .subtitle {
   1581  color: white;
   1582 }
   1583 
   1584 .search-bar .result-list {
   1585  border-bottom: 1px solid var(--theme-splitter-color);
   1586 }
   1587 
   1588 .theme-dark .result-list {
   1589  background-color: var(--theme-body-background);
   1590 }
   1591 
   1592 .autocomplete {
   1593  flex: 1;
   1594  width: 100%;
   1595 }
   1596 
   1597 .autocomplete .no-result-msg {
   1598  display: flex;
   1599  align-items: center;
   1600  justify-content: center;
   1601  width: 100%;
   1602  height: 100%;
   1603  color: var(--theme-graphs-full-red);
   1604  font-size: 24px;
   1605  padding: 4px;
   1606  word-break: break-all;
   1607 }
   1608 
   1609 .autocomplete .no-result-msg .sad-face {
   1610  width: 24px;
   1611  margin: 0 4px;
   1612  line-height: 0;
   1613  flex-shrink: 0;
   1614 }
   1615 
   1616 .autocomplete .no-result-msg .sad-face svg {
   1617  fill: var(--theme-graphs-full-red);
   1618 }
   1619 .tree {
   1620  -webkit-user-select: none;
   1621  -ms-user-select: none;
   1622  -o-user-select: none;
   1623  user-select: none;
   1624 
   1625  white-space: nowrap;
   1626  overflow: auto;
   1627  min-width: 100%;
   1628 }
   1629 
   1630 .tree button {
   1631  display: block;
   1632 }
   1633 
   1634 .tree .node {
   1635  padding: 2px 5px;
   1636  position: relative;
   1637  cursor: pointer;
   1638 }
   1639 
   1640 .tree .node.focused {
   1641  color: white;
   1642  background-color: var(--theme-selection-background);
   1643 }
   1644 
   1645 html:not([dir="rtl"]) .tree .node > div {
   1646  margin-left: 10px;
   1647 }
   1648 
   1649 html[dir="rtl"] .tree .node > div {
   1650  margin-right: 10px;
   1651 }
   1652 
   1653 .tree .node.focused svg {
   1654  fill: white;
   1655 }
   1656 
   1657 .tree-node button {
   1658  position: fixed;
   1659 }
   1660 .sources-panel {
   1661  flex: 1;
   1662  display: flex;
   1663  flex-direction: column;
   1664  overflow: hidden;
   1665 }
   1666 
   1667 .sources-panel * {
   1668  user-select: none;
   1669 }
   1670 
   1671 .sources-header {
   1672  height: 30px;
   1673  border-bottom: 1px solid var(--theme-splitter-color);
   1674  padding-top: 0px;
   1675  padding-bottom: 0px;
   1676  line-height: 30px;
   1677  font-size: 1.2em;
   1678  display: flex;
   1679  align-items: baseline;
   1680  user-select: none;
   1681  justify-content: flex-end;
   1682 }
   1683 
   1684 .theme-dark .sources-header {
   1685  background-color: var(--theme-tab-toolbar-background);
   1686 }
   1687 
   1688 .sources-header {
   1689  padding-inline-start: 10px;
   1690 }
   1691 
   1692 .sources-header-info {
   1693  font-size: 12px;
   1694  color: var(--theme-comment-alt);
   1695  font-weight: lighter;
   1696  white-space: nowrap;
   1697  padding-inline-end: 10px;
   1698  cursor: pointer;
   1699 }
   1700 
   1701 .sources-list {
   1702  flex: 1;
   1703  display: flex;
   1704  overflow: hidden;
   1705 }
   1706 
   1707 .theme-dark .sources-list .tree .node:not(.focused) svg {
   1708  fill: var(--theme-comment);
   1709 }
   1710 
   1711 .theme-dark .source-list .tree .node.focused {
   1712  background-color: var(--theme-tab-toolbar-background);
   1713 }
   1714 .toggle-button-start,
   1715 .toggle-button-end {
   1716  transform: translate(0, 2px);
   1717  transition: transform 0.25s ease-in-out;
   1718  cursor: pointer;
   1719  padding: 4px 2px;
   1720 }
   1721 
   1722 .toggle-button-start svg,
   1723 .toggle-button-end svg {
   1724  width: 16px;
   1725  fill: var(--theme-comment);
   1726 }
   1727 
   1728 .theme-dark .toggle-button-start svg,
   1729 .theme-dark .toggle-button-end svg {
   1730  fill: var(--theme-comment-alt);
   1731 }
   1732 
   1733 .toggle-button-end {
   1734  margin-left: auto;
   1735  margin-right: 5px;
   1736 }
   1737 
   1738 .toggle-button-start {
   1739  margin-left: 5px;
   1740 }
   1741 
   1742 html:not([dir="rtl"]) .toggle-button-end svg,
   1743 html[dir="rtl"] .toggle-button-start svg {
   1744  transform: rotate(180deg);
   1745 }
   1746 
   1747 html .toggle-button-end.vertical svg {
   1748  transform: rotate(-90deg);
   1749 }
   1750 
   1751 .toggle-button-end.vertical {
   1752  margin-bottom: 2px;
   1753 }
   1754 
   1755 .toggle-button-start.collapsed,
   1756 .toggle-button-end.collapsed {
   1757  transform: rotate(180deg);
   1758 }
   1759 
   1760 .source-footer {
   1761  background: var(--theme-toolbar-background);
   1762  border-top: 1px solid var(--theme-splitter-color);
   1763  position: absolute;
   1764  display: flex;
   1765  bottom: 0;
   1766  left: 0;
   1767  right: 1px;
   1768  opacity: 1;
   1769  z-index: 100;
   1770  user-select: none;
   1771  height: 27px;
   1772  box-sizing: border-box;
   1773 }
   1774 
   1775 .source-footer .commands {
   1776  display: flex;
   1777 }
   1778 
   1779 .source-footer .commands * {
   1780  user-select: none;
   1781 }
   1782 
   1783 .source-footer > .commands > .action {
   1784  cursor: pointer;
   1785  display: flex;
   1786  justify-content: center;
   1787  align-items: center;
   1788  transition: opacity 200ms;
   1789  border: none;
   1790  background: transparent;
   1791  padding: 8px 0.7em;
   1792 }
   1793 
   1794 .source-footer > .commands > .action i {
   1795  height: 100%;
   1796  display: flex;
   1797  flex-direction: column;
   1798  justify-content: center;
   1799 }
   1800 
   1801 :root.theme-dark .source-footer > .commands > .action {
   1802  fill: var(--theme-body-color);
   1803 }
   1804 
   1805 :root.theme-dark .source-footer > .commands > .action:hover {
   1806  fill: var(--theme-selection-color);
   1807 }
   1808 
   1809 .source-footer > .commands > .action svg {
   1810  height: 16px;
   1811  width: 16px;
   1812 }
   1813 
   1814 .source-footer .commands .coverage {
   1815  color: var(--theme-body-color);
   1816 }
   1817 
   1818 .coverage-on .source-footer .commands .coverage {
   1819  color: var(--theme-highlight-blue);
   1820  border: 1px solid var(--theme-body-color-inactive);
   1821  border-radius: 2px;
   1822 }
   1823 
   1824 .search-bar {
   1825  display: flex;
   1826  flex-direction: column;
   1827  max-height: 50%;
   1828 }
   1829 
   1830 .search-bar .search-field {
   1831  padding-left: 7px;
   1832 }
   1833 
   1834 .search-bar .close-btn {
   1835  padding: 6px;
   1836 }
   1837 
   1838 .search-bottom-bar * {
   1839  user-select: none;
   1840 }
   1841 
   1842 .search-bottom-bar {
   1843  display: flex;
   1844  flex-shrink: 0;
   1845  justify-content: space-between;
   1846  width: calc(100% - 1px);
   1847  height: 27px;
   1848  background-color: var(--theme-toolbar-background);
   1849  border-bottom: 1px solid var(--theme-splitter-color);
   1850  padding: 0 13px;
   1851 }
   1852 
   1853 .search-bottom-bar button:focus {
   1854  outline: none;
   1855 }
   1856 
   1857 .search-bottom-bar .search-modifiers {
   1858  display: flex;
   1859  align-items: center;
   1860 }
   1861 
   1862 .search-bottom-bar .search-modifiers button {
   1863  padding: 0 3px;
   1864  margin: 0 3px;
   1865  border: none;
   1866  background: none;
   1867  width: 20px;
   1868  height: 20px;
   1869  border-radius: 3px;
   1870 }
   1871 
   1872 .search-bottom-bar .search-modifiers button i {
   1873  display: flex;
   1874  justify-content: center;
   1875  align-items: center;
   1876  padding: 0;
   1877  width: 16px;
   1878 }
   1879 
   1880 .search-bottom-bar .search-modifiers button svg {
   1881  fill: var(--theme-comment-alt);
   1882  height: 16px;
   1883  width: 16px;
   1884 }
   1885 
   1886 .search-bottom-bar .search-modifiers button svg:hover {
   1887  cursor: pointer;
   1888 }
   1889 
   1890 .search-bottom-bar .search-modifiers button:active {
   1891  outline: none;
   1892 }
   1893 
   1894 .search-bottom-bar .search-modifiers button.active svg {
   1895  fill: var(--theme-selection-background);
   1896 }
   1897 
   1898 .theme-dark .search-bottom-bar .search-modifiers button.active svg {
   1899  fill: white;
   1900 }
   1901 
   1902 .search-bottom-bar .search-modifiers button.disabled svg {
   1903  fill: var(--theme-comment-alt);
   1904 }
   1905 
   1906 .search-bottom-bar .search-type-toggles {
   1907  display: flex;
   1908  align-items: center;
   1909 }
   1910 
   1911 .search-bottom-bar .search-type-toggles .search-toggle-title {
   1912  color: var(--theme-body-color-inactive);
   1913  font-size: 11px;
   1914  font-weight: normal;
   1915  margin: 0;
   1916 }
   1917 
   1918 .search-bottom-bar .search-type-toggles .search-type-btn {
   1919  margin: 0 6px;
   1920  border: none;
   1921  background: transparent;
   1922  color: var(--theme-comment-alt);
   1923 }
   1924 
   1925 .search-bottom-bar .search-type-toggles .search-type-btn:hover {
   1926  cursor: pointer;
   1927 }
   1928 
   1929 .search-bottom-bar .search-type-toggles .search-type-btn:active {
   1930  outline: none;
   1931 }
   1932 
   1933 .search-bottom-bar .search-type-toggles .search-type-btn.active {
   1934  color: var(--theme-selection-background);
   1935 }
   1936 
   1937 .theme-dark .search-bottom-bar .search-type-toggles .search-type-btn.active {
   1938  color: white;
   1939 }
   1940 
   1941 .search-bar .result-list {
   1942  max-height: 230px;
   1943 }
   1944 .popover {
   1945  position: fixed;
   1946  z-index: 4;
   1947 }
   1948 
   1949 .popover-gap {
   1950  height: 10px;
   1951  padding-top: 10px;
   1952 }
   1953 
   1954 .popover::before,
   1955 .popover::after {
   1956  content: '';
   1957  height: 0;
   1958  width: 0;
   1959  position: absolute;
   1960  border: 10px solid transparent;
   1961  left: calc(20% - 10px); /* corresponds to calculation in Popover.js */
   1962 }
   1963 
   1964 .popover::before {
   1965  border-bottom-color: var(--theme-comment);
   1966  top: -10px;
   1967 }
   1968 
   1969 .popover::after {
   1970  border-bottom-color: var(--theme-body-background);
   1971  top: -8px;
   1972 }
   1973 .preview {
   1974  background: var(--theme-body-background);
   1975  min-width: 200px;
   1976  min-height: 80px;
   1977  border: 1px solid var(--theme-comment);
   1978  padding: 10px;
   1979  height: auto;
   1980  min-height: inherit;
   1981  max-height: 130px;
   1982  overflow: auto;
   1983  max-width: 400px;
   1984 }
   1985 
   1986 .preview .header {
   1987  width: 100%;
   1988  line-height: 20px;
   1989  border-bottom: 1px solid #cccccc;
   1990  display: flex;
   1991  flex-direction: column;
   1992 }
   1993 
   1994 .preview .header .link {
   1995  align-self: flex-end;
   1996  color: var(--theme-highlight-blue);
   1997  text-decoration: underline;
   1998 }
   1999 .preview .header .link:hover {
   2000  cursor: pointer;
   2001 }
   2002 
   2003 .selected-token {
   2004  background-color: var(--theme-search-overlays-semitransparent);
   2005  color: var(--theme-selection-color);
   2006 }
   2007 
   2008 .selected-token:hover {
   2009  cursor: pointer;
   2010 }
   2011 
   2012 .preview .function-signature {
   2013  padding-top: 10px;
   2014 }
   2015 
   2016 .function-signature {
   2017  line-height: 20px;
   2018  align-self: center;
   2019 }
   2020 
   2021 .function-signature .function-name {
   2022  color: var(--theme-highlight-blue);
   2023 }
   2024 
   2025 .function-signature .param {
   2026  color: var(--string-color);
   2027 }
   2028 
   2029 .function-signature .paren {
   2030  color: var(--object-color);
   2031 }
   2032 
   2033 .function-signature .comma {
   2034  color: var(--object-color);
   2035 }
   2036 
   2037 .theme-dark .preview {
   2038  border-color: var(--theme-body-color);
   2039 }
   2040 
   2041 .theme-dark .preview .arrow svg {
   2042  fill: var(--theme-comment);
   2043 }
   2044 .conditional-breakpoint-panel {
   2045  cursor: initial;
   2046  margin: 1em 0;
   2047  position: relative;
   2048  display: flex;
   2049  align-items: center;
   2050  background: var(--theme-toolbar-background);
   2051  border-top: 1px solid var(--theme-splitter-color);
   2052  border-bottom: 1px solid var(--theme-splitter-color);
   2053 }
   2054 
   2055 .conditional-breakpoint-panel .prompt {
   2056  font-size: 1.8em;
   2057  color: var(--theme-comment-alt);
   2058  padding-left: 3px;
   2059 }
   2060 
   2061 .conditional-breakpoint-panel input {
   2062  margin: 5px 10px;
   2063  width: calc(100% - 4em);
   2064  border: none;
   2065  background: var(--theme-toolbar-background);
   2066  font-size: 14px;
   2067  color: var(--theme-comment);
   2068  line-height: 30px;
   2069 }
   2070 
   2071 .conditional-breakpoint-panel input:focus {
   2072  outline-width: 0;
   2073 }
   2074 /* vim:set ts=2 sw=2 sts=2 et: */
   2075 
   2076 /* This Source Code Form is subject to the terms of the Mozilla Public
   2077 * License, v. 2.0. If a copy of the MPL was not distributed with this
   2078 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   2079 
   2080 /**
   2081 * There's a known codemirror flex issue with chrome that this addresses.
   2082 * BUG https://github.com/devtools-html/debugger.html/issues/63
   2083 */
   2084 .editor-wrapper {
   2085  position: absolute;
   2086  height: calc(100% - 31px);
   2087  width: 100%;
   2088  top: 30px;
   2089  left: 0px;
   2090 }
   2091 
   2092 html[dir="rtl"] .editor-mount {
   2093  direction: ltr;
   2094 }
   2095 
   2096 .editor-wrapper .breakpoints {
   2097  position: absolute;
   2098  top: 0;
   2099  left: 0;
   2100 }
   2101 
   2102 .function-search {
   2103  max-height: 300px;
   2104  overflow: hidden;
   2105 }
   2106 
   2107 .function-search .results {
   2108  height: auto;
   2109 }
   2110 
   2111 .editor.hit-marker {
   2112  height: 14px;
   2113 }
   2114 
   2115 .coverage-on .CodeMirror-code :not(.hit-marker) .CodeMirror-line,
   2116 .coverage-on .CodeMirror-code :not(.hit-marker) .CodeMirror-gutter-wrapper {
   2117  opacity: 0.5;
   2118 }
   2119 
   2120 .editor.new-breakpoint svg {
   2121  fill: var(--theme-selection-background);
   2122  width: 60px;
   2123  height: 14px;
   2124  position: absolute;
   2125  top: 0px;
   2126  right: -4px;
   2127 }
   2128 
   2129 .new-breakpoint.has-condition svg {
   2130  fill: var(--theme-graphs-yellow);
   2131 }
   2132 
   2133 .editor.new-breakpoint.breakpoint-disabled svg {
   2134  opacity: 0.3;
   2135 }
   2136 
   2137 .CodeMirror {
   2138  width: 100%;
   2139  height: 100%;
   2140 }
   2141 
   2142 .editor-wrapper .editor-mount {
   2143  width: 100%;
   2144  height: calc(100% - 32px);
   2145  background-color: var(--theme-body-background);
   2146 }
   2147 
   2148 .search-bar ~ .editor-mount {
   2149  height: calc(100% - 72px);
   2150 }
   2151 
   2152 .CodeMirror-linenumber {
   2153  font-size: 11px;
   2154  line-height: 14px;
   2155 }
   2156 
   2157 /* set the linenumber white when there is a breakpoint */
   2158 .new-breakpoint .CodeMirror-gutter-wrapper .CodeMirror-linenumber {
   2159  color: white;
   2160 }
   2161 
   2162 /* move the breakpoint below the linenumber */
   2163 .new-breakpoint .CodeMirror-gutter-elt:last-child {
   2164  z-index: 0;
   2165 }
   2166 
   2167 .editor-wrapper .CodeMirror-line {
   2168  font-size: 11px;
   2169  line-height: 14px;
   2170 }
   2171 
   2172 .theme-dark .editor-wrapper .CodeMirror-line .cm-comment {
   2173  color: var(--theme-content-color3);
   2174 }
   2175 
   2176 .debug-line .CodeMirror-line {
   2177  background-color: var(--breakpoint-active-color) !important;
   2178 }
   2179 
   2180 /* Don't display the highlight color since the debug line
   2181   is already highlighted */
   2182 .debug-line .CodeMirror-activeline-background {
   2183  display: none;
   2184 }
   2185 
   2186 .highlight-line .CodeMirror-line {
   2187  animation: fade-highlight-out 1.5s normal forwards;
   2188 }
   2189 
   2190 @keyframes fade-highlight-out {
   2191  0% { background-color: var(--theme-highlight-gray); }
   2192  100% { background-color: transparent; }
   2193 }
   2194 
   2195 .welcomebox {
   2196  width: calc(100% - 1px);
   2197 
   2198  /* Offsetting it by 30px for the sources-header area */
   2199  height: calc(100% - 30px);
   2200  position: absolute;
   2201  top: 30px;
   2202  left: 0;
   2203  padding: 50px 0;
   2204  text-align: center;
   2205  font-size: 1.25em;
   2206  color: var(--theme-comment-alt);
   2207  background-color: var(--theme-tab-toolbar-background);
   2208  font-weight: lighter;
   2209  z-index: 100;
   2210  user-select: none;
   2211 }
   2212 .input-expression {
   2213  width: 100%;
   2214  margin: 0px;
   2215  border: 1px;
   2216  cursor: pointer;
   2217  background-color: var(--theme-body-background);
   2218  font-size: 12px;
   2219  padding: 0px 20px;
   2220  color: var(--theme-highlight-blue);
   2221 }
   2222 
   2223 .input-expression::-webkit-input-placeholder {
   2224  text-align: center;
   2225  font-style: italic;
   2226  color: var(--theme-comment-alt);
   2227 }
   2228 
   2229 .input-expression::placeholder {
   2230  text-align: center;
   2231  font-style: italic;
   2232  color: var(--theme-comment-alt);
   2233  opacity: 1;
   2234 }
   2235 
   2236 .input-expression:focus {
   2237  outline: none;
   2238  cursor: text;
   2239 }
   2240 
   2241 .expression-input-container {
   2242  padding: 0.5em;
   2243  display: flex;
   2244 }
   2245 
   2246 .expression-container {
   2247  border: 1px;
   2248  padding: 8px 5px 0px 0px;
   2249  width: 100%;
   2250  color: var(--theme-body-color);
   2251  background-color: var(--theme-body-background);
   2252  display: flex;
   2253  position: relative;
   2254 }
   2255 
   2256 .expression-container > .tree {
   2257  width: 100%;
   2258  overflow: hidden;
   2259 }
   2260 
   2261 :root.theme-light .expression-container:hover {
   2262  background-color: var(--theme-tab-toolbar-background);
   2263 }
   2264 
   2265 :root.theme-dark .expression-container:hover {
   2266  background-color: var(--search-overlays-semitransparent);
   2267 }
   2268 
   2269 .expression-container .close-btn {
   2270  position: absolute;
   2271  inset-inline-end: 6px;
   2272  top: 6px;
   2273 }
   2274 
   2275 .expression-container .close {
   2276  display: none;
   2277 }
   2278 
   2279 .expression-container:hover .close {
   2280  display: block;
   2281 }
   2282 
   2283 .expression-input {
   2284  cursor: pointer;
   2285  max-width: 50%;
   2286 }
   2287 
   2288 .expression-separator {
   2289  padding: 0px 5px;
   2290 }
   2291 
   2292 .expression-value {
   2293  overflow-x: scroll;
   2294  color: var(--theme-content-color2);
   2295  max-width: 50% !important;
   2296 }
   2297 
   2298 .expression-error {
   2299  color: var(--theme-highlight-red);
   2300 }
   2301 
   2302 .why-paused {
   2303  background-color: var(--breakpoint-active-color);
   2304  border: 1.7px solid var(--breakpoint-active-color);
   2305  color: var(--theme-highlight-blue);
   2306  padding: 10px 10px 10px 20px;
   2307  white-space: normal;
   2308  opacity: 0.9;
   2309  font-size: 12px;
   2310  font-weight: bold;
   2311  flex: 0 1 auto;
   2312 }
   2313 
   2314 .theme-dark .secondary-panes .why-paused {
   2315  color: white;
   2316 }
   2317 .breakpoints-list * {
   2318  user-select: none;
   2319 }
   2320 
   2321 .breakpoints-list .breakpoint {
   2322  font-size: 12px;
   2323  color: var(--theme-content-color1);
   2324  padding: 0.5em 1px;
   2325  line-height: 1em;
   2326  position: relative;
   2327  transition: all 0.25s ease;
   2328 }
   2329 
   2330 html[dir="rtl"] .breakpoints-list .breakpoint {
   2331  border-right: 4px solid transparent;
   2332 }
   2333 
   2334 html:not([dir="rtl"]) .breakpoints-list .breakpoint {
   2335  border-left: 4px solid transparent;
   2336 }
   2337 
   2338 .breakpoints-list .breakpoint:last-of-type {
   2339  padding-bottom: 0.45em;
   2340 }
   2341 
   2342 html:not([dir="rtl"]) .breakpoints-list .breakpoint.is-conditional {
   2343  border-left-color: var(--theme-graphs-yellow);
   2344 }
   2345 
   2346 html[dir="rtl"] .breakpoints-list .breakpoint.is-conditional {
   2347  border-right-color: var(--theme-graphs-yellow);
   2348 }
   2349 
   2350 html .breakpoints-list .breakpoint.paused {
   2351  background-color: var(--theme-toolbar-background-alt);
   2352  border-color: var(--breakpoint-active-color);
   2353 }
   2354 
   2355 .breakpoints-list .breakpoint.disabled .breakpoint-label {
   2356  color: var(--theme-content-color3);
   2357  transition: color 0.5s linear;
   2358 }
   2359 
   2360 .breakpoints-list .breakpoint:hover {
   2361  cursor: pointer;
   2362  background-color: var(--search-overlays-semitransparent);
   2363 }
   2364 
   2365 .breakpoints-list .breakpoint.paused:hover {
   2366  border-color: var(--breakpoint-active-color-hover);
   2367 }
   2368 
   2369 .breakpoints-list .breakpoint-checkbox {
   2370  margin-inline-start: 0;
   2371 }
   2372 
   2373 .breakpoints-list .breakpoint-label {
   2374  display: inline-block;
   2375  padding-inline-start: 2px;
   2376  padding-bottom: 4px;
   2377 }
   2378 
   2379 .breakpoints-list .pause-indicator {
   2380  flex: 0 1 content;
   2381  order: 3;
   2382 }
   2383 
   2384 :root.theme-light .breakpoint-snippet,
   2385 :root.theme-firebug .breakpoint-snippet {
   2386  color: var(--theme-comment);
   2387 }
   2388 
   2389 :root.theme-dark .breakpoint-snippet {
   2390  color: var(--theme-body-color);
   2391  opacity: 0.6;
   2392 }
   2393 
   2394 .breakpoint-snippet {
   2395  overflow: hidden;
   2396  text-overflow: ellipsis;
   2397  padding-inline-start: 18px;
   2398  padding-inline-end: 18px;
   2399 }
   2400 
   2401 .breakpoint .close-btn {
   2402  position: absolute;
   2403  inset-inline-end: 6px;
   2404  top: 12px;
   2405 }
   2406 
   2407 .breakpoint .close {
   2408  display: none;
   2409 }
   2410 
   2411 .breakpoint:hover .close {
   2412  display: block;
   2413 }
   2414 
   2415 .object-node.default-property {
   2416  opacity: 0.6;
   2417 }
   2418 
   2419 .object-label {
   2420  color: var(--theme-highlight-blue);
   2421 }
   2422 
   2423 .objectBox-object,
   2424 .objectBox-string,
   2425 .objectBox-text,
   2426 .objectBox-table,
   2427 .objectLink-textNode,
   2428 .objectLink-event,
   2429 .objectLink-eventLog,
   2430 .objectLink-regexp,
   2431 .objectLink-object,
   2432 .objectLink-Date,
   2433 .theme-dark .objectBox-object,
   2434 .theme-light .objectBox-object {
   2435  white-space: nowrap;
   2436 }
   2437 
   2438 .scopes-list .tree-node {
   2439  overflow: hidden;
   2440 }
   2441 .frames ul {
   2442  list-style: none;
   2443  margin: 0;
   2444  padding: 0;
   2445 }
   2446 
   2447 .frames ul li {
   2448  cursor: pointer;
   2449  padding: 7px 10px 7px 21px;
   2450  overflow: hidden;
   2451  display: flex;
   2452  justify-content: space-between;
   2453 }
   2454 
   2455 /* Style the focused call frame like so:
   2456 .frames ul li:focus {
   2457  border: 3px solid red;
   2458 }
   2459 */
   2460 
   2461 .frames ul li * {
   2462  user-select: none;
   2463 }
   2464 
   2465 .frames ul li:nth-of-type(2n) {
   2466  background-color: var(--theme-tab-toolbar-background);
   2467 }
   2468 
   2469 .frames .location {
   2470  font-weight: lighter;
   2471 }
   2472 
   2473 :root.theme-light .frames .location,
   2474 :root.theme-firebug .frames .location {
   2475  color: var(--theme-comment);
   2476 }
   2477 
   2478 :root.theme-dark .frames .location {
   2479  color: var(--theme-body-color);
   2480  opacity: 0.6;
   2481 }
   2482 
   2483 .frames .title {
   2484  text-overflow: ellipsis;
   2485  overflow: hidden;
   2486  margin-right: 1em;
   2487 }
   2488 
   2489 .frames ul li:hover,
   2490 .frames ul li:focus {
   2491  background-color: var(--theme-toolbar-background-alt);
   2492  outline: none;
   2493 }
   2494 
   2495 .frames ul li.selected {
   2496  background-color: var(--theme-selection-background);
   2497  color: white;
   2498 }
   2499 
   2500 :root.theme-light .frames ul li.selected .location,
   2501 :root.theme-firebug .frames ul li.selected .location,
   2502 :root.theme-dark .frames ul li.selected .location {
   2503  color: white;
   2504 }
   2505 
   2506 :root.theme-dark .frames ul li:hover .location,
   2507 :root.theme-dark .frames ul li.selected .location {
   2508  opacity: 1;
   2509 }
   2510 
   2511 .show-more {
   2512  cursor: pointer;
   2513  text-align: center;
   2514  padding: 8px 0px;
   2515  border-top: 1px solid var(--theme-splitter-color);
   2516  background-color: var(--theme-tab-toolbar-background);
   2517 }
   2518 
   2519 .show-more:hover {
   2520  background-color: var(--search-overlays-semitransparent);
   2521 }
   2522 .event-listeners {
   2523  list-style: none;
   2524  margin: 0;
   2525  padding: 0;
   2526 }
   2527 
   2528 .event-listeners .listener {
   2529  cursor: pointer;
   2530  padding: 7px 10px 7px 21px;
   2531  clear: both;
   2532  overflow: hidden;
   2533 }
   2534 
   2535 .event-listeners .listener * {
   2536  user-select: none;
   2537 }
   2538 
   2539 .event-listeners .listener:nth-of-type(2n) {
   2540  background-color: var(--theme-tab-toolbar-background);
   2541 }
   2542 
   2543 .event-listeners .listener .type {
   2544  color: var(--theme-highlight-bluegrey);
   2545  padding-right: 5px;
   2546 }
   2547 
   2548 .event-listeners .listener .selector {
   2549  color: var(--theme-content-color2);
   2550 }
   2551 
   2552 .event-listeners .listener-checkbox {
   2553  margin-left: 0;
   2554 }
   2555 
   2556 .event-listeners .listener .close-btn {
   2557  float: right;
   2558 }
   2559 
   2560 .event-listeners .listener .close {
   2561  display: none;
   2562 }
   2563 
   2564 .event-listeners .listener:hover .close {
   2565  display: block;
   2566 }
   2567 .accordion {
   2568  background-color: var(--theme-body-background);
   2569  width: 100%;
   2570 }
   2571 
   2572 .accordion ._header {
   2573  background-color: var(--theme-toolbar-background);
   2574  border-bottom: 1px solid var(--theme-splitter-color);
   2575  cursor: pointer;
   2576  font-size: 12px;
   2577  padding: 5px;
   2578  transition: all 0.25s ease;
   2579  width: 100%;
   2580 
   2581  -webkit-user-select: none;
   2582  -ms-user-select: none;
   2583  -o-user-select: none;
   2584  user-select: none;
   2585 }
   2586 
   2587 .accordion ._header {
   2588  display: flex;
   2589 }
   2590 
   2591 .accordion ._header:hover {
   2592  background-color: var(--search-overlays-semitransparent);
   2593 }
   2594 
   2595 .accordion ._header button svg,
   2596 .accordion ._header:hover button svg {
   2597  fill: currentColor;
   2598  height: 16px;
   2599 }
   2600 
   2601 .accordion ._content {
   2602  border-bottom: 1px solid var(--theme-splitter-color);
   2603  font-size: 12px;
   2604 }
   2605 
   2606 .accordion ._header .header-buttons {
   2607  display: flex;
   2608  margin-left: auto;
   2609  padding-right: 5px;
   2610 }
   2611 
   2612 .accordion .header-buttons .add-button {
   2613  font-size: 180%;
   2614  text-align: center;
   2615  line-height: 16px;
   2616 }
   2617 
   2618 .accordion .header-buttons button {
   2619  color: var(--theme-body-color);
   2620  border: none;
   2621  background: none;
   2622  outline: 0;
   2623  padding: 0;
   2624  width: 16px;
   2625  height: 16px;
   2626 }
   2627 
   2628 .command-bar {
   2629  flex: 0 0 30px;
   2630  border-bottom: 1px solid var(--theme-splitter-color);
   2631  display: flex;
   2632  height: 30px;
   2633  overflow: hidden;
   2634  position: sticky;
   2635  top: 0;
   2636  z-index: 1;
   2637  background-color: var(--theme-body-background);
   2638 }
   2639 
   2640 .theme-dark .command-bar {
   2641  background-color: var(--theme-tab-toolbar-background);
   2642 }
   2643 
   2644 .command-bar > button {
   2645  -webkit-appearance: none;
   2646  -moz-appearance: none;
   2647  appearance: none;
   2648  background: transparent;
   2649  border: none;
   2650  cursor: pointer;
   2651  display: inline-block;
   2652  text-align: center;
   2653  transition: all 0.25s ease;
   2654  padding: 8px 5px;
   2655  position: relative;
   2656  fill: currentColor;
   2657 }
   2658 
   2659 :root.theme-dark .command-bar > button {
   2660  color: var(--theme-body-color);
   2661 }
   2662 
   2663 .command-bar > button {
   2664  margin-inline-end: 0.7em;
   2665 }
   2666 
   2667 html .command-bar > button:disabled {
   2668  opacity: 0.3;
   2669  cursor: default;
   2670 }
   2671 
   2672 .command-bar > button > i {
   2673  height: 100%;
   2674  width: 100%;
   2675  display: block;
   2676 }
   2677 
   2678 .command-bar > button > i > svg {
   2679  width: 16px;
   2680  height: 16px;
   2681 }
   2682 
   2683 .command-bar button.pause-exceptions {
   2684  margin-inline-start: 0.5em;
   2685 }
   2686 
   2687 .command-bar .subSettings {
   2688  float: right;
   2689 }
   2690 
   2691 .command-bar button.pause-exceptions.uncaught {
   2692  color: var(--theme-highlight-purple);
   2693 }
   2694 
   2695 .command-bar button.pause-exceptions.all {
   2696  color: var(--theme-highlight-blue);
   2697 }
   2698 .secondary-panes {
   2699  display: flex;
   2700  flex-direction: column;
   2701  flex: 1;
   2702  white-space: nowrap;
   2703 }
   2704 
   2705 .secondary-panes * {
   2706  user-select: none;
   2707 }
   2708 
   2709 .secondary-panes .accordion {
   2710  overflow-y: auto;
   2711  overflow-x: hidden;
   2712  flex: 1 0 auto;
   2713 }
   2714 
   2715 .pane {
   2716  color: var(--theme-body-color);
   2717 }
   2718 
   2719 .pane .pane-info {
   2720  font-style: italic;
   2721  text-align: center;
   2722  padding: 0.5em;
   2723  user-select: none;
   2724 }
   2725 
   2726 .theme-dark .secondary-panes .accordion .arrow svg {
   2727  fill: var(--theme-comment);
   2728 }
   2729 .welcomebox {
   2730  width: calc(100% - 1px);
   2731 
   2732  /* Offsetting it by 30px for the sources-header area */
   2733  height: calc(100% - 30px);
   2734  position: absolute;
   2735  top: 30px;
   2736  left: 0;
   2737  padding: 50px 0 0 0;
   2738  text-align: center;
   2739  font-size: 1.25em;
   2740  color: var(--theme-comment-alt);
   2741  background-color: var(--theme-tab-toolbar-background);
   2742  font-weight: lighter;
   2743  z-index: 100;
   2744 }
   2745 
   2746 html .welcomebox .toggle-button-end {
   2747  bottom: 11px;
   2748  position: absolute;
   2749  top: auto;
   2750 }
   2751 .dropdown {
   2752  --width: 150px;
   2753  background: var(--theme-body-background);
   2754  border: 1px solid var(--theme-splitter-color);
   2755  box-shadow: 0 4px 4px 0 var(--search-overlays-semitransparent);
   2756  max-height: 300px;
   2757  position: absolute;
   2758  right: 8px;
   2759  top: 35px;
   2760  width: var(--width);
   2761  z-index: 1000;
   2762 }
   2763 
   2764 html[dir="rtl"] .dropdown {
   2765  right: calc((var(--width) - 11px) * (-1));
   2766 }
   2767 
   2768 .dropdown-block {
   2769  padding: 0px 2px;
   2770  position: relative;
   2771  align-self: center;
   2772 }
   2773 
   2774 .dropdown-button {
   2775  cursor: pointer;
   2776  color: var(--theme-comment);
   2777  background: none;
   2778  border: none;
   2779  padding: 0;
   2780  font-weight: 100;
   2781  margin-top: 6px;
   2782  font-size: 14px;
   2783 }
   2784 
   2785 .dropdown li {
   2786  transition: all 0.25s ease;
   2787  padding: 2px 10px 10px 5px;
   2788  overflow: hidden;
   2789  height: 30px;
   2790  text-overflow: ellipsis;
   2791  white-space: nowrap;
   2792 }
   2793 
   2794 .dropdown li:hover {
   2795  background-color: var(--search-overlays-semitransparent);
   2796  cursor: pointer;
   2797 }
   2798 
   2799 .dropdown ul {
   2800  list-style: none;
   2801  line-height: 2em;
   2802  font-size: 1em;
   2803  margin: 0;
   2804  padding: 0;
   2805 }
   2806 
   2807 .dropdown-mask {
   2808  position: fixed;
   2809  width: 100%;
   2810  height: 100%;
   2811  background: transparent;
   2812  z-index: 999;
   2813  left: 0;
   2814  top: 0;
   2815 }
   2816 .source-header {
   2817  border-bottom: 1px solid var(--theme-splitter-color);
   2818  width: 100%;
   2819  height: 30px;
   2820  display: flex;
   2821  align-items: flex-end;
   2822 }
   2823 
   2824 .source-header * {
   2825  user-select: none;
   2826 }
   2827 
   2828 .source-header .new-tab-btn {
   2829  padding: 0px 4px;
   2830  margin-top: 8px;
   2831  cursor: pointer;
   2832  fill: var(--theme-comment);
   2833  transition: 0.1s ease;
   2834  align-self: center;
   2835 }
   2836 
   2837 .source-header .new-tab-btn svg {
   2838  width: 12px;
   2839 }
   2840 
   2841 .source-tabs {
   2842  max-width: calc(100% - 80px);
   2843  align-self: flex-start;
   2844 }
   2845 
   2846 .source-tab {
   2847  border: 1px solid transparent;
   2848  border-top-left-radius: 2px;
   2849  border-top-right-radius: 2px;
   2850  height: 30px;
   2851  display: inline-flex;
   2852  align-items: center;
   2853  position: relative;
   2854  transition: all 0.25s ease;
   2855  min-width: 40px;
   2856  overflow: hidden;
   2857  padding: 6px;
   2858  margin-inline-start: 3px;
   2859  margin-top: 2px;
   2860 }
   2861 
   2862 .source-tab:hover {
   2863  background-color: var(--theme-toolbar-background-alt);
   2864  border-color: var(--theme-splitter-color);
   2865  cursor: pointer;
   2866 }
   2867 
   2868 .source-tab.active {
   2869  color: var(--theme-body-color);
   2870  background-color: var(--theme-body-background);
   2871  border-color: var(--theme-splitter-color);
   2872  border-bottom-color: transparent;
   2873 }
   2874 
   2875 .source-tab.active path,
   2876 .source-tab:hover path {
   2877  fill: var(--theme-body-color);
   2878 }
   2879 
   2880 .source-tab .prettyPrint {
   2881  line-height: 0;
   2882 }
   2883 
   2884 .source-tab .prettyPrint svg {
   2885  height: 12px;
   2886  width: 12px;
   2887 }
   2888 
   2889 .source-tab .prettyPrint path {
   2890  fill: var(--theme-textbox-box-shadow);
   2891 }
   2892 
   2893 .source-tab .filename {
   2894  white-space: nowrap;
   2895  text-overflow: ellipsis;
   2896  overflow: hidden;
   2897 }
   2898 
   2899 .source-tab.pretty .filename {
   2900  padding-inline-start: 8px;
   2901 }
   2902 
   2903 .source-tab .close-btn {
   2904  visibility: hidden;
   2905  line-height: 0;
   2906  margin-inline-start: 6px;
   2907 }
   2908 
   2909 .source-tab.active .close-btn {
   2910  visibility: visible;
   2911 }
   2912 
   2913 .source-tab:hover .close-btn {
   2914  visibility: visible;
   2915 }
   2916 
   2917 .source-tab .close-btn .close {
   2918  padding: 0;
   2919  margin-top: 0;
   2920  display: inline-flex;
   2921  justify-content: center;
   2922 }