From add4a110f7418e913c211e012a23d733375198c6 Mon Sep 17 00:00:00 2001
From: Benjamin Franzke <benjaminfranzke@googlemail.com>
Date: Tue, 17 May 2022 10:38:00 +0200
Subject: [PATCH] docs: configure editorconfig for css and html

---
 .editorconfig | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.editorconfig b/.editorconfig
index 02196f72be..27bb3755d6 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -32,3 +32,11 @@ indent_size = 8
 indent_size = 2
 indent_style = space
 max_line_length = 109
+
+[docs/**/*.css]
+indent_style = space
+indent_size = 2
+
+[docs/**/*.html]
+indent_style = space
+indent_size = 2