delvh 7692240daa Use <nav> instead of <div> in the global navbar (#23125) ... Furthermore improved/deleted some comments in the template. The appearance did not change. --------- Co-authored-by: Lauris BH <lauris@nix.lv> Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>		2023-03-17 11:52:44 +08:00
..
alert_details.tmpl
alert.tmpl
delete_modal_actions.tmpl
disable_form_autofill.tmpl
footer_content.tmpl
footer.tmpl
head_navbar.tmpl
head_script.tmpl
head.tmpl
paginate.tmpl