diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-10-28 00:03:05 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-10-28 11:38:33 +0100 |
| commit | 5ec42736f3f17e9f5432063b4cc17e6ad9a75713 (patch) | |
| tree | d5c0c0500f913cd694f1ff5d80b3986df7b3f4fa /frontend/src/components/not-found/TerminalWindow.js | |
| parent | bb03ab6a934eaf29cea86e877c4b2024f068dd1c (diff) | |
Use scroll-padding for aligning anchors
This change is one in a series of patches to remove the use of jQuery.
Here, we can utilize the scroll-padding CSS property to align anchors
properly in presence of a fixed top header.
Diffstat (limited to 'frontend/src/components/not-found/TerminalWindow.js')
0 files changed, 0 insertions, 0 deletions