This is some CSS hacking to avoid headers ending up below (z-order) our
fixed header when using anchor links or clicking links in the right-hand
sidebar.
Also adds some more margin pixels above headers in general.
We needed to add a negative z-index property in order to avoid making
links inside the resulting padding-area unclickable. The drawback is
that hovering and clicking the anchor-headers themselves don't work
anymore. However, correct positioning when using anchor links or
clicking links in the right-hand sidebar seems more important.
If someone knows a better trick than negative z-index, that would be
very interesting to hear about. :)
This is some CSS hacking to avoid headers ending up below (z-order) our fixed header when using anchor links or clicking links in the right-hand sidebar.
Also adds some more margin pixels above headers in general.
We needed to add a negative z-index property in order to avoid making links inside the resulting padding-area unclickable. The drawback is that hovering and clicking the anchor-headers themselves don't work anymore. However, correct positioning when using anchor links or clicking links in the right-hand sidebar seems more important.
If someone knows a better trick than negative z-index, that would be very interesting to hear about. :)