From 32052f214b052531cc55d5d52c0283adabf838ca Mon Sep 17 00:00:00 2001
From: a1346054 <36859588+a1346054@users.noreply.github.com>
Date: Sat, 4 Sep 2021 19:59:25 +0000
Subject: Minor cleanup of the repo (#822)

* *: source files should not be executable

* *: make sure files have final newline

* *: remove BOM from text files

* translations: unify headers

* *: fix typos

* *: trim excess whitespace
---
 doc/html/styles.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/html/styles.css')

diff --git a/doc/html/styles.css b/doc/html/styles.css
index 67d27847..6d9a5695 100644
--- a/doc/html/styles.css
+++ b/doc/html/styles.css
@@ -1,5 +1,5 @@
 #menu {
-	display: none;	
+    display: none;
 }
 
 #menu ul {
@@ -28,4 +28,4 @@
 
 #menu li a:hover {
     background-color: #111111;
-}
\ No newline at end of file
+}
-- 
cgit v1.2.3