1 files changed, 2 insertions, 2 deletions
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,31 +1,31 @@
 #menu {
-	display: none;	
+    display: none;
 }
 
 #menu ul {
     list-style-type: none;
     margin: 0px auto;
     padding: 0;
     overflow: hidden;
     background-color: #08aad7;
 }
 
 #menu li {
     float: left;
 }
 
 #menu li a {
     display: block;
     color: white;
     text-align: center;
     padding: 16px;
     text-decoration: none;
 }
 
 #menu li a.active {
     background-color: #84c7b0;
 }
 
 #menu li a:hover {
     background-color: #111111;
-}
-\ No newline at end of file
+}