#17: make header layout configurable

This commit is contained in:
Jana Deutschländer 2019-03-11 16:08:20 +01:00 committed by Andreas Gohr
commit 72166b7941
9 changed files with 171 additions and 3 deletions

View file

@ -11,4 +11,7 @@ $lang['sidebar_sections_o_h1,h2'] = '1st and 2nd order headings';
$lang['sidebar_sections_o_h1,h2,h3,h4,h5'] = 'All headings';
$lang['sidebar_sections_o_li.level1 > .li'] = 'Top-level list items';
$lang['header_layout'] = 'Adjust header layout:';
$lang['header_layout_o_default'] = 'generous header layout for long wiki titel and tagline';
$lang['header_layout_o_compact'] = 'compact header layout for short wiki title and hidden tagline';