This commit is contained in:
ed
2022-09-23 20:37:37 +02:00
parent d285f7ee4a
commit 1d367a0da0
7 changed files with 17 additions and 16 deletions

View File

@@ -2811,6 +2811,7 @@ html.b #tree li {
html.b #tree li {
margin-left: .8em;
}
html.b #docul a,
html.b .ntree a {
padding: .6em .2em;
}