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         margin-right: 0.3em;
  13         height: 1.2rem;
  14         width: 1.2rem;
  15         color: inherit;
  16         border: 1px solid currentColor;
  17         outline: none;
  18         -webkit-appearance: none;
  19         cursor: pointer;
  20         border-radius: 50%;
  21 }
  22 .setting-line .radio-line input + span {
  23         padding-bottom: 1px;
  24 }
  25
  26 .radio-line .setting-name {
  27         width: 100%;
  28 }
  29
  30 .radio-line .choice {
  31         margin-top: 0.1em;
  32         margin-bottom: 0.1em;
  33         min-width: 3.8em;
  34         padding: 0.3em;
  35         display: flex;
  36         align-items: center;
  37         cursor: pointer;
  38 }
  39 .radio-line .choice + .choice {
  40         margin-left: 0.5em;
  41 }
  42
  43 .toggle {
  44         position: relative;
  45         width: 100%;
  46         margin-right: 20px;
  47         display: flex;
  48         align-items: center;
  49         cursor: pointer;
  50 }
  51
  52 .toggle input {
  53         opacity: 0;
  54         position: absolute;
  55 }
  56
  57 .slider {
  58         position: relative;
  59         width: 45px;
  60         min-width: 45px;
  61         display: block;
  62         height: 28px;
  63         margin-right: 20px;
  64         cursor: pointer;
  65         background-color: #ccc;
  66         transition: .3s;
  67 }
  68
  69 .slider:before {
  70         position: absolute;
  71         content: "";
  72         height: 19px;
  73         width: 19px;
  74         left: 4px;
  75         bottom: 4px;
  76         transition: .3s;
  77 }
  78
  79 input:checked + .slider:before {
  80         transform: translateX(19px);
  81 }
  82
  83 .setting-line > .sub-settings {
  84         padding-left: 42px;
  85         width: 100%;
  86         display: block;
  87 }
  88
  89 #settings .setting-line {
  90         margin: 1.2em 0.6em;
  91 }
  92
  93 .setting-line .radio-line input:checked {
  94         box-shadow: inset 0 0 0 3px var(--main-background-color);
  95         background-color: var(--settings-input-color);
  96 }
  97 .setting-line .radio-line input:focus {
  98         box-shadow: 0 0 1px 1px var(--settings-input-color);
  99 }
 100 /* In here we combine both `:focus` and `:checked` properties. */
 101 .setting-line .radio-line input:checked:focus {
 102         box-shadow: inset 0 0 0 3px var(--main-background-color),
 103                 0 0 2px 2px var(--settings-input-color);
 104 }
 105 .setting-line .radio-line input:hover {
 106         border-color: var(--settings-input-color) !important;
 107 }
 108 input:checked + .slider {
 109         background-color: var(--settings-input-color);
 110 }