Replaced the “Portal” link with an icon.

Author: daveverwer

FrontEnd/styles/header_footer.scss

@@ -36,6 +36,7 @@ footer {
             display: flex;
             flex-direction: row;
             flex-wrap: wrap;
+            align-items: center;
             justify-content: center;
             margin: 0;
             padding: 0;
@@ -91,6 +92,13 @@ header {
                 border-color: var(--header-link-highlight);
             }
         }
+
+        li.portal {
+            display: flex;
+            align-items: center;
+            justify-content: center;
+            height: 100%;
+        }
     }
 
     @media screen and (max-width: $mobile-breakpoint) {

FrontEnd/styles/search.scss

@@ -111,7 +111,7 @@ section.search {
 
 nav > ul > li.search > form {
     grid-template-columns: auto 30px;
-    max-width: 160px;
+    max-width: 140px;
 
     input[type='search'] {
         padding: 5px;

Public/images/portal.svg

@@ -37,7 +37,7 @@ enum NavMenuItem {
                 return .li(
                     .a(
                         .href(SiteURL.addAPackage.relativeURL()),
-                        "Add a Package"
+                        "Add Package"
                     )
                 )
             case .blog:
@@ -68,9 +68,14 @@ enum NavMenuItem {
                 )
             case .portal:
                 return .li(
+                    .class("portal"),
                     .a(
                         .href(SiteURL.portal.relativeURL()),
-                        "Portal"
+                        .img(
+                            .alt("Portal"),
+                            .src(SiteURL.images("portal.svg").relativeURL()),
+                            .width(20)
+                        )
                     )
                 )
         }