From 8104f7b00ce1e7fba56b7414877defa1e1507d91 Mon Sep 17 00:00:00 2001
From: Phuntsok Drak-pa <phundrak@phundrak.fr>
Date: Mon, 26 Aug 2019 16:59:28 +0200
Subject: [PATCH] formatting

---
 js/main.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/js/main.js b/js/main.js
index 01a7dc0..5c7c80c 100644
--- a/js/main.js
+++ b/js/main.js
@@ -47,8 +47,8 @@ function reorganize_html() {
                 htitle + '"></div></div>');
             $header.prependTo($header.prev());
         });
-        $('.outline-text-' + htitle).each(function(){
-            if(isEmpty($(this))) {
+        $('.outline-text-' + htitle).each(function() {
+            if (isEmpty($(this))) {
                 $(this).remove();
             }
         });
@@ -91,6 +91,6 @@ function create_theme_switcher() {
     });
 }
 
-function isEmpty( el ){
+function isEmpty(el) {
     return !$.trim(el.html())
 }