--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2019 ---
Hi Could someone with access to the website make it so the header and footer don't follow along when scrolling? They're stealing precious vertical space :) Seems removing #header position, #footer position and #content padding is enough /Tomas