toolkit/themes/shared/aboutLogging.css

   1 /* This Source Code Form is subject to the terms of the Mozilla Public
   2  * License, v. 2.0. If a copy of the MPL was not distributed with this
   3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
   4
   5 @import url("chrome://global/skin/in-content/common.css");
   6
   7 /** Content area **/
   8 .main-content {
   9   width: min(90%, 1024px);
  10   margin: auto;
  11 }
  12
  13 .page-subsection {
  14   margin-bottom: 2em;
  15 }
  16
  17 .form-entry {
  18   /* Center the labels with their checkboxes */
  19   display: flex;
  20   align-items: center;
  21   margin: 0.3em 0;
  22 }
  23
  24 :disabled + label {
  25   opacity: 0.5;
  26 }
  27
  28 #current-log-modules,
  29 #no-log-modules {
  30   font-family: monospace;
  31   margin-bottom: 1em;
  32   word-break: break-word;
  33 }
  34
  35 #current-log-file,
  36 #no-log-file {
  37   font-family: monospace;
  38 }
  39
  40 #profiler-configuration,
  41 #log-file-configuration {
  42   /* 16px is the size of the radio button, 6px is its margin
  43    * Then it's properly aligned with the text above. */
  44   padding-inline-start: calc(16px + 6px);
  45 }
  46
  47 label {
  48   line-height: 1.8em;
  49 }
  50
  51 input[type=text] {
  52   box-sizing: border-box;
  53   width: 100%;
  54   font-family: monospace;
  55
  56   /* This cancels the default margin applied to all inputs in common-shared.css. */
  57   margin-inline: 0 !important;
  58 }
  59
  60 .button-row > button:first-of-type {
  61   /* This cancels the default margin applied to all buttons in common-shared.css. */
  62   margin-inline-start: 0;
  63 }
  64
  65 .info-box {
  66   padding: 1em;
  67   border-radius: 4px;
  68 }
  69
  70 .info-box-label {
  71   font-weight: 600;
  72 }
  73
  74 #error {
  75   background-color: rgba(240, 40, 40, 0.5);
  76   border: 1px solid rgba(240, 40, 40, 0.6);
  77 }
  78
  79 #some-elements-unavailable {
  80   background-color: var(--in-content-box-info-background);
  81   border-color: var(--in-content-box-border-color);
  82 }