doc: Update

This commit is contained in:
github-actions[bot]
2025-07-26 16:11:43 +00:00
parent 4ab72eb8c9
commit aa00d3cd4d
514 changed files with 2035 additions and 1200 deletions

View File

@@ -782,7 +782,7 @@ kbd {
padding-right: 0;
}
dl.enum-members {
dl.enum-members ul li {
font-size: 80%;
}