search

goblint / GobWeb

Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3 stars 0 forks source link

Don't show banner at the bottom of the screen permanently #19

Open jerhard opened 3 years ago

jerhard commented 3 years ago

Currently, there is a banner shown permanently at the bottom of the screen. I think it should instead only be shown when one is looking at the very bottom of the web page.