tree c44daf5432f35beab3039ad20e9d2c40fcfaa4b2
parent cca5508e5991d4e571f68320b41f55c5cde047c0
author Henning Noeth <hnoeth@apache.org> 1569939014 +0200
committer Henning Noeth <hnoeth@apache.org> 1569939014 +0200

improve fixed-header

A fixed-header is now 'sticky', which leads to a less flickering page.
Bootstrap has a 'sticky-top' CSS class which is now used.