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