Reduce size of banner images by about 75%

- Use 4 spaces indentation as per .editorconfig. - Ignore some files gulp generates.
hackergarten · Sep 20, 2023 · 9c20767 · 9c20767
1 parent 6b9ab98
commit 9c20767
Show file tree

Hide file tree

Showing 10 changed files with 11 additions and 7 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,3 +6,7 @@ hackergarten.github.io.iml
 
 # external dependencies
 node_modules
+
+# generated by gulp
+feed.xml
+projects.html
diff --git a/pictures/header.1.jpg b/pictures/header.1.jpg
diff --git a/pictures/header.1.png b/pictures/header.1.png
diff --git a/pictures/header.2.jpg b/pictures/header.2.jpg
diff --git a/pictures/header.2.png b/pictures/header.2.png
diff --git a/pictures/header.3.jpg b/pictures/header.3.jpg
diff --git a/pictures/header.3.png b/pictures/header.3.png
diff --git a/pictures/header.4.jpg b/pictures/header.4.jpg
diff --git a/pictures/header.4.png b/pictures/header.4.png
diff --git a/scripts/hgMainPage.js b/scripts/hgMainPage.js
@@ -3,12 +3,12 @@
 angular.module('hackergartenPage', ['ngDialog']);
 
 angular.module('hackergartenPage')
-	.directive('randomHeaderImage', function () {
-      return function (scope, element, attrs) {        
-        var image = "pictures/header." + Math.floor((Math.random()*4)+1) + ".png"
+    .directive('randomHeaderImage', function () {
+        return function (_scope, element, _attrs) {
+            var image = `pictures/header.${Math.floor((Math.random() * 4) + 1)}.jpg`;
 
-        element.css({
-            'background': 'url("' + image + '") center center no-repeat'
-        });
-      };
+            element.css({
+                'background': `url("${image}") center center no-repeat`
+            });
+        };
     });