/* local theme file*/

html {
  scroll-padding-top: 5rem;
}

[id] {
  scroll-margin-top: 5rem;
}