summary refs log tree commit diff
path: root/src/librustdoc/html/static/css/settings.css
blob: 1cd8e39e03648ad5eed7fd213c1aa0f2ebd7f9ed (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
.setting-line {
	margin: 0.6em 0 0.6em 0.3em;
	position: relative;
}

.setting-line .choices {
	display: flex;
	flex-wrap: wrap;
}

.setting-line .radio-line input {
	margin-right: 0.3em;
	height: 1.2rem;
	width: 1.2rem;
	border: 1px solid;
	outline: none;
	-webkit-appearance: none;
	cursor: pointer;
	border-radius: 50%;
}
.setting-line .radio-line input + span {
	padding-bottom: 1px;
}

.radio-line .setting-name {
	width: 100%;
}

.radio-line .choice {
	margin-top: 0.1em;
	margin-bottom: 0.1em;
	min-width: 3.8em;
	padding: 0.3em;
	display: flex;
	align-items: center;
	cursor: pointer;
}
.radio-line .choice + .choice {
	margin-left: 0.5em;
}

.toggle {
	position: relative;
	display: inline-block;
	width: 100%;
	height: 27px;
	margin-right: 20px;
	display: flex;
	align-items: center;
	cursor: pointer;
}

.toggle input {
	opacity: 0;
	position: absolute;
}

.slider {
	position: relative;
	width: 45px;
	display: block;
	height: 28px;
	margin-right: 20px;
	cursor: pointer;
	background-color: #ccc;
	transition: .3s;
}

.slider:before {
	position: absolute;
	content: "";
	height: 19px;
	width: 19px;
	left: 4px;
	bottom: 4px;
	transition: .3s;
}

input:checked + .slider:before {
	transform: translateX(19px);
}

.setting-line > .sub-settings {
	padding-left: 42px;
	width: 100%;
	display: block;
}

div#settings {
	position: absolute;
	right: 0;
	z-index: 1;
	display: block;
	margin-top: 7px;
	border-radius: 3px;
	border: 1px solid;
}
#settings .setting-line {
	margin: 1.2em 0.6em;
}
/* This rule is to draw the little arrow connecting the settings menu to the gear icon. */
div#settings::before {
	content: '';
	position: absolute;
	right: 11px;
	border: solid;
	border-width: 1px 1px 0 0;
	display: inline-block;
	padding: 4px;
	transform: rotate(-45deg);
	top: -5px;
}