.wst-auxtoc {
max-width: 100%;
margin-left:auto;
margin-right:auto;
box-sizing: border-box;
padding-left:.5em;
padding-right:0.5em;
width:30em;
border: 1px solid #ACA;
background-color: #E6F2E6;
color:#202122; /* intreim for night mode */
margin-bottom: 4px;
}
.wst-auxtoc > div:first-child {
display:flex;
align-items: baseline;
}
.wst-auxtoc > div:first-child > span:first-child {
font-weight:bold;
}
.wst-auxtoc > div:first-child > span:nth-child(2) {
flex:1 0;
min-width:1em;
}
.wst-auxtoc > div:first-child > span:nth-child(3) {
font-size:83%;
}