Small improvements

Refs #2166

stylesheets/application.css

@@ -6,6 +6,11 @@
   src: url("../fonts/GitLabSans.otf");
 }
 
+@font-face {
+  font-family: "JetBrains Mono";
+  src: url("../fonts/JetBrainsMono-Regular.woff2");
+}
+
 :root {
   --base03:    #002b36;
   --base02:    #073642;
@@ -77,7 +82,7 @@ a:hover, a:active {
   color: var(--red);
 }
 
-#top-menu a, th a:link, a.root {
+#top-menu a, th a:link, a.root, #header a {
   text-decoration: none;
 }
 
@@ -110,21 +115,30 @@ table td {
   padding: .5em;
 }
 
-.help::before {
+table.filecontent tbody,
+table.filecontent td.line-code div,
+table.filecontent td.line-code pre {
+  font-family: "JetBrains Mono", monospace;
+}
+
+#top-menu .help::before {
   content: "❔ ";
 }
-.administration::before {
+#top-menu .administration::before {
   content: "⚙ ";
 }
-.projects::before {
+#top-menu .projects::before {
   content: "🌱 ";
 }
-.my-page::before {
+#top-menu .my-page::before {
   content: "👤 ";
 }
-.home::before {
+#topmenu .home::before {
   content: "🏠 ";
 }
+#main-menu .projects::before {
+  content: "🌱 ";
+}
 #main-menu .overview::before {
   content: "👀 ";
 }
@@ -161,3 +175,13 @@ table td {
 #main-menu .settings::before {
   content: "⚙ ";
 }
+#main-menu .repository::before {
+  content: "💻 ";
+}
+#main-menu .projects::before {
+  content: "🌱 ";
+}
+
+svg.header-logo {
+  display: none;
+}