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

${screen_placeholder}

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