Another docs change

bkoelman · bkoelman · commit f662151d5b60 · 2023-09-17T11:46:28.000+02:00
diff --git a/docs/home/index.html b/docs/home/index.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html>      
+<!DOCTYPE html>          
 <html lang="en">
 <head>
   <meta charset="utf-8">
