diff options
Diffstat (limited to 'arc-firefox-theme/chrome/browser/devtools/common.css')
-rw-r--r-- | arc-firefox-theme/chrome/browser/devtools/common.css | 264 |
1 files changed, 264 insertions, 0 deletions
diff --git a/arc-firefox-theme/chrome/browser/devtools/common.css b/arc-firefox-theme/chrome/browser/devtools/common.css new file mode 100644 index 0000000..9cbb98d --- /dev/null +++ b/arc-firefox-theme/chrome/browser/devtools/common.css @@ -0,0 +1,264 @@ + +:root { + font: message-box; + --monospace-font-family: monospace; +} + +.devtools-monospace { + font-family: var(--monospace-font-family); + font-size: 80%; +} + +/* Splitters */ +.devtools-horizontal-splitter { + -moz-appearance: none; + background-image: none; + background-color: transparent; + border: 0; + border-bottom: 1px solid rgba(118, 121, 125, .5); + min-height: 3px; + height: 3px; + margin-top: -3px; + position: relative; +} + +.devtools-side-splitter { + -moz-appearance: none; + background-image: none; + background-color: transparent; + border: 0; + -moz-border-end: 1px solid rgba(118, 121, 125, .5); + min-width: 3px; + width: 3px; + -moz-margin-start: -3px; + position: relative; + cursor: e-resize; +} + +.devtools-toolbox-side-iframe { + min-width: 465px; +} + +/* Autocomplete Popup */ +/* Dark and light theme */ + +.devtools-autocomplete-popup { + -moz-appearance: none !important; + box-shadow: 0 1px 0 hsla(209,29%,72%,.25) inset; + background-color: transparent; + border-radius: 3px; + overflow-x: hidden; + max-height: 32rem; +} + +.devtools-autocomplete-listbox { + -moz-appearance: none !important; + background-color: transparent; + border-width: 0px !important; +} + +.devtools-autocomplete-listbox > richlistitem, +.devtools-autocomplete-listbox > richlistitem[selected] { + width: 100%; + background-color: transparent; + border-radius: 4px; +} + +.devtools-autocomplete-listbox.dark-theme > richlistitem[selected], +.devtools-autocomplete-listbox.dark-theme > richlistitem:hover { + background-color: rgba(0,0,0,0.5); +} + +.devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > .autocomplete-value, +.devtools-autocomplete-listbox:focus.dark-theme > richlistitem[selected] > .initial-value { + color: hsl(208,100%,60%); +} + +.devtools-autocomplete-listbox.dark-theme > richlistitem[selected] > label { + color: #eee; +} + +.devtools-autocomplete-listbox.dark-theme > richlistitem > label { + color: #ccc; +} + +.devtools-autocomplete-listbox > richlistitem > .initial-value, +.devtools-autocomplete-listbox > richlistitem > .autocomplete-value { + margin: 0; + padding: 1px 0; +} + +.devtools-autocomplete-listbox > richlistitem > .autocomplete-count { + text-align: end; +} + +/* Rest of the dark and light theme */ + +.devtools-autocomplete-popup, +.theme-dark .CodeMirror-hints, +.theme-dark .CodeMirror-Tern-tooltip { + border: 1px solid hsl(210,11%,10%); + background-image: linear-gradient(to bottom, hsla(209,18%,18%,0.9), hsl(210,11%,16%)); +} + +.devtools-autocomplete-popup.light-theme, +.light-theme .CodeMirror-hints, +.light-theme .CodeMirror-Tern-tooltip { + border: 1px solid hsl(210,24%,90%); + background-image: linear-gradient(to bottom, hsla(209,18%,100%,0.9), hsl(210,24%,95%)); +} + +.devtools-autocomplete-popup.light-theme { + box-shadow: 0 1px 0 hsla(209,29%,90%,.25) inset; +} + +.devtools-autocomplete-listbox.light-theme > richlistitem[selected], +.devtools-autocomplete-listbox.light-theme > richlistitem:hover { + background-color: rgba(128,128,128,0.3); +} + +.devtools-autocomplete-listbox.light-theme > richlistitem[selected] > .autocomplete-value, +.devtools-autocomplete-listbox:focus.light-theme > richlistitem[selected] > .initial-value { + color: #222; +} + +.devtools-autocomplete-listbox.light-theme > richlistitem > label { + color: #666; +} + +/* Tooltip widget (see browser/devtools/shared/widgets/Tooltip.js) */ + +.devtools-tooltip .panel-arrowcontent { + padding: 4px; +} + +.devtools-tooltip .panel-arrowcontainer { + /* Reseting the transition used when panels are shown */ + transition: none; + /* Panels slide up/down/left/right when they appear using a transform. + Since we want to remove the transition, we don't need to transform anymore + plus it can interfeer by causing mouseleave events on the underlying nodes */ + transform: none; +} + +.devtools-tooltip[clamped-dimensions] { + min-height: 100px; + max-height: 400px; + min-width: 100px; + max-width: 400px; +} +.devtools-tooltip[clamped-dimensions-no-min-height] { + min-height: 0; + max-height: 400px; + min-width: 100px; + max-width: 400px; +} +.devtools-tooltip[clamped-dimensions-no-max-or-min-height] { + min-width: 400px; + max-width: 400px; +} +.devtools-tooltip[clamped-dimensions] .panel-arrowcontent, +.devtools-tooltip[clamped-dimensions-no-min-height] .panel-arrowcontent, +.devtools-tooltip[clamped-dimensions-no-max-or-min-height] .panel-arrowcontent { + overflow: hidden; +} +.devtools-tooltip[wide] { + max-width: 600px; +} + +/* Tooltip: Simple Text */ + +.devtools-tooltip-simple-text { + max-width: 400px; + margin: 0 -4px; /* Compensate for the .panel-arrowcontent padding. */ + padding: 8px 12px; + white-space: pre-wrap; +} + +.devtools-tooltip-simple-text:first-child { + margin-top: -4px; +} + +.devtools-tooltip-simple-text:last-child { + margin-bottom: -4px; +} + +/* Tooltip: Alert Icon */ + +.devtools-tooltip-alert-icon { + width: 32px; + height: 32px; + margin: 6px; + -moz-margin-end: 20px; +} + +.devtools-tooltip-alert-icon { + list-style-image: url("chrome://global/skin/icons/warning-32.png"); +} + +/* Tooltip: Variables View */ + +.devtools-tooltip-variables-view-box { + margin: -4px; /* Compensate for the .panel-arrowcontent padding. */ +} + +.devtools-tooltip-variables-view-box .variable-or-property > .title { + -moz-padding-end: 6px; +} + +/* Tooltip: Tiles */ + +.devtools-tooltip-tiles { + background-color: #eee; + background-image: linear-gradient(45deg, #ccc 25%, transparent 25%, transparent 75%, #ccc 75%, #ccc), + linear-gradient(45deg, #ccc 25%, transparent 25%, transparent 75%, #ccc 75%, #ccc); + background-size: 20px 20px; + background-position: 0 0, 10px 10px; +} + +.devtools-tooltip-iframe { + border: none; + background: transparent; +} + +/* Eyedropper Widget */ + +.devtools-eyedropper-panel { + pointer-events: none; + -moz-appearance: none; + width: 156px; + height: 120px; + background-color: transparent; + border: none; +} + +/* links to source code, like displaying `myfile.js:45` */ + +.devtools-source-link { + font-family: var(--monospace-font-family); + color: var(--theme-highlight-blue); + cursor: pointer; + white-space: nowrap; + display: flex; + text-decoration: none; + font-size: 11px; + width: 12em; /* probably should be changed for each tool */ +} + +.devtools-source-link:hover { + text-decoration: underline; +} + +.devtools-source-link > .filename { + text-overflow: ellipsis; + text-align: end; + overflow: hidden; + margin: 2px 0px; + cursor: pointer; +} + +.devtools-source-link > .line-number { + flex: none; + margin: 2px 0px; + cursor: pointer; +} |