summaryrefslogtreecommitdiffstats
path: root/toolkit/themes/shared/aboutLogging.css
diff options
context:
space:
mode:
Diffstat (limited to 'toolkit/themes/shared/aboutLogging.css')
-rw-r--r--toolkit/themes/shared/aboutLogging.css82
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);
+}