X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fdebugger.css;h=cee7b6c6d8b7d2aee636a1f53c91c049fce62957;hp=b1156aeb8069d525ebad92541d3d03f4f2065ab0;hb=fe524e0c0e2035af794e8183b25693f847fb12ce;hpb=e7c8bab1697c2a99a9b8d4f2fec8faa947e38aaf diff --git a/LCARStrek/browser/devtools/debugger.css b/LCARStrek/browser/devtools/debugger.css index b1156aeb..cee7b6c6 100644 --- a/LCARStrek/browser/devtools/debugger.css +++ b/LCARStrek/browser/devtools/debugger.css @@ -20,6 +20,64 @@ window { -moz-border-start-color: transparent; } +.side-menu-widget-item-checkbox { + -moz-appearance: none; + padding: 0; + margin: 0 -4px 0 4px; + opacity: 0; + transition: opacity .25s ease 0s; +} + +/* Only show the checkbox when the source is hovered over, is selected, or if it + * is not checked. */ +.side-menu-widget-item:hover > .side-menu-widget-item-checkbox, +.side-menu-widget-item.selected > .side-menu-widget-item-checkbox, +.side-menu-widget-item-checkbox:not([checked]) { + opacity: 1; + transition: opacity .25s ease-out 0s; +} + +.side-menu-widget-item-checkbox > .checkbox-check { + -moz-appearance: none; + background: none; + background-image: url("itemToggle.png"); + background-repeat: no-repeat; + background-clip: content-box; + background-position: -24px 0; + width: 24px; + height: 24px; + border: 0; +} + +.side-menu-widget-item-checkbox[checked] > .checkbox-check { + background-position: 0 0; +} + +.side-menu-widget-item-checkbox:not([checked]) ~ .side-menu-widget-item-contents > .dbg-breakpoint { + display: none; +} + +/* Black box message */ + +#black-boxed-message { + /* Prevent the container deck from aquiring the height from this message. */ + min-height: 1px; + background-color: #A09090; + padding: 25vh 0; + color: #000000; +} + +#black-boxed-message-label, +#black-boxed-message-button { + text-align: center; + font-size: 120%; +} + +#black-boxed-message-button { + margin-top: 1em; + padding: .25em; +} + /* ListWidget items */ .list-widget-item { @@ -110,8 +168,12 @@ window { -moz-margin-start: 1px; } -#searchbox-panel-description { - margin-top: 0; +#filter-label { + -moz-margin-start: 2px; +} + +#searchbox-panel-operators { + margin-top: 5px; margin-bottom: 8px; -moz-margin-start: 2px; }