diff options
Diffstat (limited to 'toolkit/themes/shared/aboutLogging.css')
-rw-r--r-- | toolkit/themes/shared/aboutLogging.css | 82 |
1 files changed, 82 insertions, 0 deletions
diff --git a/toolkit/themes/shared/aboutLogging.css b/toolkit/themes/shared/aboutLogging.css new file mode 100644 index 0000000000..83a172b60c --- /dev/null +++ b/toolkit/themes/shared/aboutLogging.css @@ -0,0 +1,82 @@ +/* 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"); + +/** Content area **/ +.main-content { + width: min(90%, 1024px); + margin: auto; +} + +.page-subsection { + margin-bottom: 2em; +} + +.form-entry { + /* Center the labels with their checkboxes */ + display: flex; + align-items: center; + margin: 0.3em 0; +} + +:disabled + label { + opacity: 0.5; +} + +#current-log-modules, +#no-log-modules { + font-family: monospace; + margin-bottom: 1em; + word-break: break-word; +} + +#current-log-file, +#no-log-file { + font-family: monospace; +} + +#profiler-configuration, +#log-file-configuration { + /* 16px is the size of the radio button, 6px is its margin + * Then it's properly aligned with the text above. */ + padding-inline-start: calc(16px + 6px); +} + +label { + line-height: 1.8em; +} + +input[type=text] { + box-sizing: border-box; + width: 100%; + font-family: monospace; + + /* This cancels the default margin applied to all inputs in common-shared.css. */ + margin-inline: 0 !important; +} + +.button-row > button:first-of-type { + /* This cancels the default margin applied to all buttons in common-shared.css. */ + margin-inline-start: 0; +} + +.info-box { + padding: 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); +} |