--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Website header/footer CSS



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