${navigation("/default_top.html")}
${screen_placeholder}
${navigation("/default_bottom.html")}