src/librustdoc/html/static/css/settings.css

   1 .setting-line {
   2         margin: 0.6em 0 0.6em 0.3em;
   3         position: relative;
   4 }
   5
   6 .setting-line .choices {
   7         display: flex;
   8         flex-wrap: wrap;
   9 }
  10
  11 .setting-line .radio-line input,
  12 .setting-line .settings-toggle input {
  13         margin-right: 0.3em;
  14         height: 1.2rem;
  15         width: 1.2rem;
  16         color: inherit;
  17         border: 1px solid currentColor;
  18         outline: none;
  19         -webkit-appearance: none;
  20         cursor: pointer;
  21 }
  22 .setting-line .radio-line input {
  23         border-radius: 50%;
  24 }
  25 .setting-line .settings-toggle input:checked {
  26         content: url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 40 40">\
  27                 <path d="M7,25L17,32L33,12" fill="none" stroke="black" stroke-width="5"/>\
  28                 <path d="M7,23L17,30L33,10" fill="none" stroke="white" stroke-width="5"/></svg>');
  29 }
  30
  31 .setting-line .radio-line input + span,
  32 .setting-line .settings-toggle span {
  33         padding-bottom: 1px;
  34 }
  35
  36 .radio-line .setting-name {
  37         width: 100%;
  38 }
  39
  40 .radio-line .choice {
  41         margin-top: 0.1em;
  42         margin-bottom: 0.1em;
  43         min-width: 3.8em;
  44         padding: 0.3em;
  45         display: flex;
  46         align-items: center;
  47         cursor: pointer;
  48 }
  49 .radio-line .choice + .choice {
  50         margin-left: 0.5em;
  51 }
  52
  53 .settings-toggle {
  54         position: relative;
  55         width: 100%;
  56         margin-right: 20px;
  57         display: flex;
  58         align-items: center;
  59         cursor: pointer;
  60 }
  61
  62 #settings .setting-line {
  63         margin: 1.2em 0.6em;
  64 }
  65
  66 .setting-line .radio-line input:checked {
  67         box-shadow: inset 0 0 0 3px var(--main-background-color);
  68         background-color: var(--settings-input-color);
  69 }
  70 .setting-line .settings-toggle input:checked {
  71         background-color: var(--settings-input-color);
  72 }
  73 .setting-line .radio-line input:focus,
  74 .setting-line .settings-toggle input:focus {
  75         box-shadow: 0 0 1px 1px var(--settings-input-color);
  76 }
  77 /* In here we combine both `:focus` and `:checked` properties. */
  78 .setting-line .radio-line input:checked:focus {
  79         box-shadow: inset 0 0 0 3px var(--main-background-color),
  80                 0 0 2px 2px var(--settings-input-color);
  81 }
  82 .setting-line .radio-line input:hover,
  83 .setting-line .settings-toggle input:hover {
  84         border-color: var(--settings-input-color) !important;
  85 }