]> git.lizzy.rs Git - rust.git/blob - src/librustdoc/html/static/css/settings.css
Rollup merge of #98301 - ortem:pretty-printers-nonzero, r=wesleywiser
[rust.git] / 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         border: 1px solid;
16         outline: none;
17         -webkit-appearance: none;
18         cursor: pointer;
19         border-radius: 50%;
20 }
21 .setting-line .radio-line input + span {
22         padding-bottom: 1px;
23 }
24
25 .radio-line .setting-name {
26         width: 100%;
27 }
28
29 .radio-line .choice {
30         margin-top: 0.1em;
31         margin-bottom: 0.1em;
32         min-width: 3.8em;
33         padding: 0.3em;
34         display: flex;
35         align-items: center;
36         cursor: pointer;
37 }
38 .radio-line .choice + .choice {
39         margin-left: 0.5em;
40 }
41
42 .toggle {
43         position: relative;
44         width: 100%;
45         margin-right: 20px;
46         display: flex;
47         align-items: center;
48         cursor: pointer;
49 }
50
51 .toggle input {
52         opacity: 0;
53         position: absolute;
54 }
55
56 .slider {
57         position: relative;
58         width: 45px;
59         min-width: 45px;
60         display: block;
61         height: 28px;
62         margin-right: 20px;
63         cursor: pointer;
64         background-color: #ccc;
65         transition: .3s;
66 }
67
68 .slider:before {
69         position: absolute;
70         content: "";
71         height: 19px;
72         width: 19px;
73         left: 4px;
74         bottom: 4px;
75         transition: .3s;
76 }
77
78 input:checked + .slider:before {
79         transform: translateX(19px);
80 }
81
82 .setting-line > .sub-settings {
83         padding-left: 42px;
84         width: 100%;
85         display: block;
86 }
87
88 #settings .setting-line {
89         margin: 1.2em 0.6em;
90 }