From d7df1e0cb6009dc1461fbb20adf8aab31f78dea4 Mon Sep 17 00:00:00 2001 From: Ben Bridle Date: Tue, 14 Jan 2025 16:31:15 +1300 Subject: Change HTML header format The header of the main index page is no longer cleared, it can be hidden with CSS by the user instead. --- src/generate_html.rs | 38 ++++++++++++++++---------------------- 1 file changed, 16 insertions(+), 22 deletions(-) (limited to 'src/generate_html.rs') diff --git a/src/generate_html.rs b/src/generate_html.rs index 19cf9a5..d48e3fe 100644 --- a/src/generate_html.rs +++ b/src/generate_html.rs @@ -13,27 +13,16 @@ pub fn generate_html(document: &MarkdownDocument, page: &Page, website: &Website parent_url.push_str(&make_url_safe(segment)); parent_url.push('/'); } parent_url.pop(); - let parent_name = match page.parents.get(page.parents.len()-1) { - Some(parent) => parent.to_string(), + let home_link = format!("{site_name}"); + let parent_link = match page.parents.get(page.parents.len()-1) { + Some(name) => format!("{name}"), None => String::new(), }; let head = get_html_head(document, page); let head = head.trim(); - let mut home = format!("{site_name}"); - let mut parent = format!("{parent_name}"); - let mut title = format!("

{page_name}

"); - let mut toc = get_table_of_contents(page); + let table_of_contents = get_table_of_contents(page); let main = document_to_html(document, page, website); let main = main.trim(); - if page.parents.is_empty() { - parent.clear(); - if page.name_url == "index" { - home.clear(); - title.clear(); - toc.clear(); - } - } - format!("\ @@ -45,11 +34,13 @@ pub fn generate_html(document: &MarkdownDocument, page: &Page, website: &Website
+

{page_name}

+ -{title} -{toc}
{main} @@ -78,7 +69,10 @@ pub fn get_table_of_contents(page: &Page) -> String { if page.headings.len() < 3 { return String::new(); } - let mut toc = String::from("\n"); + toc.push_str("\n"); return toc; } -- cgit v1.2.3-70-g09d2