From 19ca533bccb93dc131a249db8d932e3e38ac9eb5 Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Thu, 10 Mar 2022 18:34:58 +0000 Subject: [PATCH] Rename indent-section-headers -> section-headers to be more generic --- book.toml | 2 +- .../{indent-section-headers.css => section-headers.css} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename docs/website_files/{indent-section-headers.css => section-headers.css} (100%) diff --git a/book.toml b/book.toml index fa83d86ffc..dfbe2a111e 100644 --- a/book.toml +++ b/book.toml @@ -33,7 +33,7 @@ site-url = "/synapse/" additional-css = [ "docs/website_files/table-of-contents.css", "docs/website_files/remove-nav-buttons.css", - "docs/website_files/indent-section-headers.css", + "docs/website_files/section-headers.css", ] additional-js = ["docs/website_files/table-of-contents.js"] theme = "docs/website_files/theme" \ No newline at end of file diff --git a/docs/website_files/indent-section-headers.css b/docs/website_files/section-headers.css similarity index 100% rename from docs/website_files/indent-section-headers.css rename to docs/website_files/section-headers.css