///|
pub fn page_shell(title : String, body : String) -> String {
  page_shell_with_navigation(title, "", body)
}

///|
pub fn page_shell_with_navigation(
  title : String,
  navigation : String,
  body : String,
) -> String {
  page_shell_with_navigation_and_footer(title, "en", navigation, body, "")
}

///|
pub fn page_shell_with_navigation_and_footer(
  title : String,
  lang : String,
  navigation : String,
  body : String,
  footer : String,
) -> String {
  "\n" +
  "\n" +
  "\n" +
  "  \n" +
  "  \n" +
  "  " +
  escape_html(title) +
  "\n" +
  "  \n" +
  "\n" +
  "\n" +
  navigation +
  "  
\n" + body + footer + "
\n" + "\n" + "\n" } ///| pub fn render_page(title : String, markdown : String) -> String { page_shell(title, render_markdown(markdown)) } ///| pub fn render_page_with_navigation( title : String, navigation : String, markdown : String, ) -> String { page_shell_with_navigation(title, navigation, render_markdown(markdown)) } ///| pub fn render_page_with_chrome( title : String, lang : String, navigation : String, markdown : String, footer : String, ) -> String { page_shell_with_navigation_and_footer( title, lang, navigation, render_markdown(markdown), footer, ) }