From c03c92bca23893e8e70dc9e40e7551cfcd394b28 Mon Sep 17 00:00:00 2001 From: Jan-Niklas Burfeind Date: Sun, 18 Dec 2022 18:02:33 +0100 Subject: [PATCH] docs: fix mixed indentation for css files --- .editorconfig | 2 ++ docs/_static/css/custom.css | 6 +++--- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/.editorconfig b/.editorconfig index cca66853..a09080c2 100644 --- a/.editorconfig +++ b/.editorconfig @@ -15,6 +15,8 @@ indent_size = 4 indent_style = unset indent_size = unset +[*.css] + [*.dia] indent_style = space indent_size = 2 diff --git a/docs/_static/css/custom.css b/docs/_static/css/custom.css index b4fd2586..c9996e0e 100644 --- a/docs/_static/css/custom.css +++ b/docs/_static/css/custom.css @@ -1,8 +1,8 @@ /* - This fixes the vertical position of list markers when the first - element in the
  • is a
     block
    +	This fixes the vertical position of list markers when the first
    +	element in the 
  • is a
     block
     
    -  Scrolling inside the 
     block is still working as expected
    +	Scrolling inside the 
     block is still working as expected
     */
     .rst-content pre.literal-block,
     .rst-content div[class^='highlight'] pre {