src/css/settings.css


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

ul {
    padding-left: 1em;
    }
ul#userSettings {
    padding-left: 0;
    }
li {
    margin-top: 0.25em;
    }
ul#userSettings,
ul#userSettings ul {
    list-style-type: none;
    }
ul#userSettings .subgroup {
    margin-top: 1em;
    }
ul#userSettings .subgroup > span {
    font-size: larger;
    font-weight: bold;
    }
#localData > ul > li {
    margin-top: 1em;
    }
#localData > ul > li > ul > li:nth-of-type(2) {
    font-family: monospace;
    }
#experimental-enabled {
    margin-top: 1em;
    }