Remove accidentally added character (#4980)

This commit is contained in:
Jack Gerrits 2025-01-09 19:00:19 -05:00 committed by GitHub
parent 6bc285ce39
commit d2c1bb8ad9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,7 +1,7 @@
var version = DOCUMENTATION_OPTIONS.VERSION;
if (version === "stable") {
var styles = `
s#bd-header-version-warning {
#bd-header-version-warning {
display: none;
}
`