Including new files in index.html and new article format

3 files changed, 4 insertions, 3 deletions

diff --git a/src/index.html b/src/index.html
index e2b06d3..2850c26 100644
--- a/src/index.html
+++ b/src/index.html
@@ -220,6 +220,8 @@
     <script src="./js/arching-kaos-log.js"></script>
     <script src="./js/menu-magic.js"></script>
     <script src="./js/arching-kaos-spa-router.js"></script>
+    <script src="./js/arching-kaos-modules-files.js"></script>
+    <script src="./js/arching-kaos-modules-news.js"></script>
     <script src="./js/arching-kaos-tools.js"></script>
     <script src="./js/arching-kaos-stellar-network.js"></script>
     <script src="./js/arching-kaos-decentralized-radio.js"></script>
diff --git a/src/js/arching-kaos-tools.js b/src/js/arching-kaos-tools.js
index 300d50b..55056b3 100644
--- a/src/js/arching-kaos-tools.js
+++ b/src/js/arching-kaos-tools.js
@@ -522,14 +522,12 @@ function getipfstext(ipfsHash, articleid){
                     var pre = document.createElement("div");
                     var lines = text.split('\n');
                     // remove one line, starting at the first position
-                    lines.splice(0,1);
+                    // lines.splice(0,1);
                     // join the array back into a single string
                     var newtext = lines.join('\n');
                     pre.innerHTML = DOMPurify.sanitize(marked.parse(newtext));
                     divs.appendChild(pre);
                 }
-                progressPlaceholder.max++;
-                progressPlaceholder.value++;
             })
         }
     })
diff --git a/src/js/environment-setup.js b/src/js/environment-setup.js
index ab5568a..aa3448c 100644
--- a/src/js/environment-setup.js
+++ b/src/js/environment-setup.js
@@ -50,6 +50,7 @@ var menuids = [
  *
  */
 var progressPlaceholder = document.querySelector('#total-progress');
+var httpProgressPlaceholder = document.querySelector('#http-progress');
 var currentLogMessageElement = document.querySelector('#current-log-message');
 var logsAreaElement = document.querySelector("#logs-area-element");
 var radio = document.querySelector("#radio-player");