/* Do not add a second offset to the one calculated by the navigation. */
html{scroll-padding-top:var(--ideas-header-space,0px)}
#products,#applications,#about,#quality,#contact{scroll-margin-top:0}