From 840bca9e48ee5c9003f46902e639733cc1fcf2b5 Mon Sep 17 00:00:00 2001
From: Luis Fernando Molina <Luis-Fernando-Molina@users.noreply.github.com>
Date: Sat, 12 Dec 2020 18:35:53 +0100
Subject: [PATCH] Update DocsSpace.js

---
 .../UI/Spaces/Docs-Space/DocsSpace.js         | 20 +++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/Projects/Superalgos/UI/Spaces/Docs-Space/DocsSpace.js b/Projects/Superalgos/UI/Spaces/Docs-Space/DocsSpace.js
index a29a9be0b..810242250 100644
--- a/Projects/Superalgos/UI/Spaces/Docs-Space/DocsSpace.js
+++ b/Projects/Superalgos/UI/Spaces/Docs-Space/DocsSpace.js
@@ -746,29 +746,29 @@ function newSuperalgosDocSpace() {
         if (nodeAppDefinition.icon === undefined) {
             imageName = nodeAppDefinition.type.toLowerCase().replace(' ', '-').replace(' ', '-').replace(' ', '-').replace(' ', '-').replace(' ', '-')
         }
-        let htmlImage = document.createElement("IMG")
+        let imageElement = document.createElement("IMG")
         let webParam = 'Icons/' + project + '/' + imageName + '.png'
 
-        htmlImage.src = webParam
-        htmlImage.width = "150"
-        htmlImage.height = "150"
+        imageElement.src = webParam
+        imageElement.width = "150"
+        imageElement.height = "150"
 
         let definitionImageDiv = document.getElementById('definitionImageDiv')
-        definitionImageDiv.appendChild(htmlImage)
+        definitionImageDiv.appendChild(imageElement)
     }
 
     function addProjectImage(project) {
         imageName = project.toLowerCase().replace(' ', '-').replace(' ', '-').replace(' ', '-').replace(' ', '-').replace(' ', '-')
 
-        let htmlImage = document.createElement("IMG")
+        let imageElement = document.createElement("IMG")
         let webParam = 'Icons/' + project + '/' + imageName + '.png'
 
-        htmlImage.src = webParam
-        htmlImage.width = "50"
-        htmlImage.height = "50"
+        imageElement.src = webParam
+        imageElement.width = "50"
+        imageElement.height = "50"
 
         let projectImageDiv = document.getElementById('projectImageDiv')
-        projectImageDiv.appendChild(htmlImage)
+        projectImageDiv.appendChild(imageElement)
     }
 
     function addBold(text) {