/*
id elements are clickable elements.
scroll-margin-top allow to define a margin when going to the element.
This is done by using --navbar-height variable that is defined in js/navbar_height.js
*/
[id] {
    scroll-margin-top: var(--navbar-height);
}