Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] Website header/footer CSS
  • From: tjoppen at (Tomas Härdin)
  • Date: Wed, 04 Dec 2019 22:37:38 +0100


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