v3.8.3

3.8.3 (2025-01-21)

Bug Fixes

• css: add transition effects to pressed key buttons (#2447) (7577045)
• modal: add scroll-margin-top for DocSearch-Hit (#2434) (50de4d9), closes #2433
• script: use mjs for shipjs (#2462) (212814f)
• ui: compensate for scrollbar (#2413) (db8edeb), closes #2378