Add new "quick boosting" setting (#36516)

This commit is contained in:
diondiondion 2025-10-17 15:02:47 +02:00 committed by GitHub
parent c96e28a41d
commit 6dad80eb8c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 120 additions and 6 deletions

View file

@ -224,6 +224,10 @@ code {
list-style: disc;
margin-inline-start: 18px;
}
.icon {
vertical-align: -3px;
}
}
ul.hint {