Yes, that is exactly what I am complaining about. There is no functionality in that particular header that wouldn't be present if they header stayed put — and it is obscuring part of the page when I scroll down. (I already browse The RPF at 90% zoom to make more content visible)
// Un-sticks toolbars.
//
// Based on https://stackoverflow.com/questions/13696100/greasemonkey-script-to-make-fixed-positioned-elements-static
// and https://gist.github.com/vbuaraujo/bddb3b93a0b2b7e28e1b
Array.forEach(
document.querySelectorAll("div, nav, header, footer"),
function (el) {
var style = window.getComputedStyle(el);
if (style.position === "sticky" || style.position === "fixed") {
el.style.position = "static";
}
}
);
