From 67748a251382b4269e39281aa7abd1024bea5831 Mon Sep 17 00:00:00 2001
From: Niklas Buschmann <niklasbuschmann@posteo.org>
Date: Mon, 3 Feb 2020 20:19:33 +0100
Subject: [PATCH] merge upstream

---
 layouts/_default/baseof.html        | 7 +++++--
 static/css/{theme.css => index.css} | 2 +-
 2 files changed, 6 insertions(+), 3 deletions(-)
 rename static/css/{theme.css => index.css} (99%)

diff --git a/layouts/_default/baseof.html b/layouts/_default/baseof.html
index 2ff9369..0300bda 100644
--- a/layouts/_default/baseof.html
+++ b/layouts/_default/baseof.html
@@ -7,11 +7,14 @@
 <meta name="description" content="{{ .Description | default .Site.Params.description }}">
 {{- end }}
 <meta name="viewport" content="width=device-width, initial-scale=1.0">
-<link rel="stylesheet" href="{{ .Site.BaseURL }}css/theme.css">
+<link rel="stylesheet" href="{{ .Site.BaseURL }}css/index.css">
 <link rel="stylesheet" href="{{ .Site.BaseURL }}css/classes.css">
 <link rel="stylesheet" href="{{ .Site.BaseURL }}fonts/PT-Sans.css">
 <link rel="canonical" href="{{ .Permalink }}">
 <link rel="alternate" type="application/rss+xml" href="{{ with .OutputFormats.Get "RSS" }}{{ .RelPermalink }}{{ end }}" title="{{ .Site.Title }}">
+{{- if .Site.Params.FontAwesome }}
+<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.12.0/css/all.min.css">
+{{- end }}
 {{- if or .Params.math .Site.Params.math }}
 {{ partial "math.html" . }}
 {{- end }}
@@ -20,7 +23,7 @@
   <a href="{{ .Site.BaseURL }}">{{ .Site.Title }}</a>
   <nav>
     {{ range .Site.Menus.main }}
-      <a href="{{ .URL }}">{{ .Name }}</a>
+      <a href="{{ .URL }}">{{ .Pre }}{{ .Name }}{{ .Post }}</a>
     {{ end }}
   </nav>
 </header>
diff --git a/static/css/theme.css b/static/css/index.css
similarity index 99%
rename from static/css/theme.css
rename to static/css/index.css
index 5a02854..afcaed9 100644
--- a/static/css/theme.css
+++ b/static/css/index.css
@@ -129,7 +129,7 @@ article header {
 }
 
 article header h1 {
-  font-size: 2em;
+  font-size: 1.8em;
   margin: 0;
 }