1#dw__toc {
2    min-width: 20rem;
3    background-color: @ini_background;
4    border: @ini_border 1px solid;
5    z-index: 12;
6
7    h3 {
8        margin-block-start: 0;
9        margin-block-end: 0;
10        padding: 0.5rem 2rem 0.5rem 2rem;
11
12        &.toggle {
13            font-weight: normal;
14            font-size: initial;
15            background-color: @ini_accent;
16        }
17    }
18
19    > div {
20        font-size: smaller;
21        padding: 1rem;
22
23        ul.toc {
24            padding-inline-start: 1rem;
25            padding-left: 1rem;
26            padding-right: 1rem;
27
28            a {
29                font-weight: unset;
30                text-decoration: unset;
31            }
32
33            li:not(.clear) {
34                list-style-type: disc;
35            }
36        }
37    }
38}
39
40@media screen and (max-width: @ini_phone_width) {
41    #dw__toc {
42        width: 100%;
43        float: none;
44        margin-top: 1rem;
45        margin-left: 0;
46
47        > div {
48            line-height: 1.5;
49            font-size: medium;
50        }
51    }
52}
53