vdoc: add hr style, use prettier version 3 in the CI (#19628)

This commit is contained in:
Turiiya 2023-10-23 09:30:34 +02:00 committed by GitHub
parent a132345e08
commit 8a8129cd5c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 34 additions and 15 deletions

View file

@ -56,7 +56,7 @@ function setupScrollSpy() {
a.classList.add('active');
lastActive = a;
clickedScroll = true;
})
}),
);
}