From 19ca533bccb93dc131a249db8d932e3e38ac9eb5 Mon Sep 17 00:00:00 2001 From: Andrew Morgan Date: Thu, 10 Mar 2022 18:34:58 +0000 Subject: Rename indent-section-headers -> section-headers to be more generic --- docs/website_files/indent-section-headers.css | 7 ------- docs/website_files/section-headers.css | 7 +++++++ 2 files changed, 7 insertions(+), 7 deletions(-) delete mode 100644 docs/website_files/indent-section-headers.css create mode 100644 docs/website_files/section-headers.css (limited to 'docs/website_files') diff --git a/docs/website_files/indent-section-headers.css b/docs/website_files/indent-section-headers.css deleted file mode 100644 index f9b3c82ca6..0000000000 --- a/docs/website_files/indent-section-headers.css +++ /dev/null @@ -1,7 +0,0 @@ -/* - * Indents each chapter title in the left sidebar so that they aren't - * at the same level as the section headers. - */ -.chapter-item { - margin-left: 1em; -} \ No newline at end of file diff --git a/docs/website_files/section-headers.css b/docs/website_files/section-headers.css new file mode 100644 index 0000000000..f9b3c82ca6 --- /dev/null +++ b/docs/website_files/section-headers.css @@ -0,0 +1,7 @@ +/* + * Indents each chapter title in the left sidebar so that they aren't + * at the same level as the section headers. + */ +.chapter-item { + margin-left: 1em; +} \ No newline at end of file -- cgit 1.5.1