Pull request #192: add new logo as favicon, update logo icons, add logo font face

Merge in RED/ui from RED-1488 to master

* commit 'caac8ee31d0777d4d2a738a207365bc5f6ce7ec2':
  fix icon names
  add new logo as favicon, update logo icons, add logo font face

apps/red-ui/src/app/components/logo/logo.component.scss

@@ -3,3 +3,8 @@
 :host {
     color: $primary;
 }
+
+mat-icon {
+    width: 28px;
+    height: 28px;
+}

apps/red-ui/src/assets/styles/red-page-layout.scss

@@ -1,6 +1,11 @@
 @import 'red-variables';
 @import 'red-mixins';
 
+@font-face {
+    font-family: 'OpenSans Extrabold';
+    src: url('../font/OpenSans-ExtraBold.ttf') format('truetype');
+}
+
 html,
 body {
     margin: 0;
@@ -283,10 +288,11 @@ section.settings {
         }
 
         .app-name {
-            margin-left: 16px;
+            font-family: 'OpenSans Extrabold', sans-serif;
+            margin-left: 10px;
             height: 20px;
-            font-size: 16px;
-            font-weight: 600;
+            font-size: 13px;
+            font-weight: 800;
             letter-spacing: 0;
             line-height: 20px;
         }

apps/red-ui/src/manifest.webmanifest

@@ -26,8 +26,8 @@
             "purpose": "maskable any"
         },
         {
-            "src": "assets/icons/icon-144x144.png",
-            "sizes": "144x144",
+            "src": "assets/icons/icon-114x114.png",
+            "sizes": "114x114",
             "type": "image/png",
             "purpose": "maskable any"
         },