docs: avoid navbar hiding when jumping to in-page anchor
authorbep <bjorn.erik.pedersen@gmail.com>
Fri, 22 May 2015 18:18:34 +0000 (20:18 +0200)
committerbep <bjorn.erik.pedersen@gmail.com>
Fri, 22 May 2015 18:18:22 +0000 (20:18 +0200)
commitbe71fda559605ddf91c071431981f8e1f4d57598
treecad77f0113d35fdbe06c7bcff8cb8ef4482172ee
parent0d65ca27fd2c3370c83e5e243bf4c0879aefd920
docs: avoid navbar hiding when jumping to in-page anchor
docs/static/css/style.css