From e8d94e2b4f7e5dc5c0311cefe0f377bc337d5b3e Mon Sep 17 00:00:00 2001
From: kovacsv <viktorkovacs@gmail.com>
Date: Mon, 13 May 2019 15:03:30 +0200
Subject: [PATCH] Use JQuery instead of getElementById.

---
 website/include/importerapp.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/website/include/importerapp.js b/website/include/importerapp.js
index 9331718..2994882 100644
--- a/website/include/importerapp.js
+++ b/website/include/importerapp.js
@@ -49,7 +49,7 @@ ImporterApp.prototype.Init = function ()
 	}
 	
 	var myThis = this;
-	var top = document.getElementById ('top');
+	var top = $('#top');
 	this.importerButtons = new ImporterButtons (top);
 	this.importerButtons.AddLogo ('Online 3D Viewer <span class="version">v 0.6.5</span>');
 	this.importerButtons.AddButton ('images/openfile.png', 'Open File', function () { myThis.OpenFile (); });