diff options
Diffstat (limited to 'toolkit/themes/shared/aboutLogging.css')
-rw-r--r-- | toolkit/themes/shared/aboutLogging.css | 84 |
1 files changed, 84 insertions, 0 deletions
diff --git a/toolkit/themes/shared/aboutLogging.css b/toolkit/themes/shared/aboutLogging.css new file mode 100644 index 0000000000..50857cbcd8 --- /dev/null +++ b/toolkit/themes/shared/aboutLogging.css @@ -0,0 +1,84 @@ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +@import url("chrome://global/skin/in-content/common.css"); + +html { + height: 100%; +} + +body { + height: 100%; +} + +/** Content area **/ + +.main-content { + flex: 1; +} + +#logging { + padding: 1em; +} + +div.page-section { + padding: 0.5em; +} + +div.page-section > div { + padding-inline-start: 0.5em; + padding-bottom: 2em; +} + +div.page-section > div.radio-entry { + padding-bottom: 0; +} + +#current-log-modules, +#no-log-modules { + font-family: monospace; + padding-inline-start: 8px; + margin-bottom: 1em; + word-break: break-word; +} + +#current-log-file, +#no-log-file { + font-family: monospace; + padding-inline-start: 8px; +} + +#logging-preset-description { + padding-inline-start: 8px; +} + +input[type=text] { + width: 100%; + font-family: monospace; + padding-inline-start: 0; +} + +input[type=radio] { + vertical-align: middle; +} + +.info-box { + width: 100%; + padding: 0.3em 1em; + border-radius: 4px; +} + +.info-box-label { + font-weight: 600; +} + +#error { + background-color: rgba(240, 40, 40, 0.5); + border: 1px solid rgba(240, 40, 40, 0.6); +} + +#some-elements-unavailable { + background-color: var(--in-content-box-info-background); + border-color: var(--in-content-box-border-color); +} |