From d414db28f9c994e8e3dcad430b8435fac7e86591 Mon Sep 17 00:00:00 2001
From: Johannes Keyser <johannes.keyser@sport.uni-giessen.de>
Date: Sat, 7 Sep 2019 14:28:37 +0200
Subject: [PATCH] Revert base font size to 16px, fix phrasing.

---
 css/main.scss | 2 +-
 de_help.md    | 2 +-
 de_infos.md   | 2 +-
 en_help.md    | 2 +-
 en_infos.md   | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/css/main.scss b/css/main.scss
index d773665..056864f 100644
--- a/css/main.scss
+++ b/css/main.scss
@@ -6,7 +6,7 @@
 
 // Our variables
 $base-font-family: sans-serif;
-$base-font-size:   15px;
+$base-font-size:   16px;
 $base-font-weight: 400;
 $small-font-size:  $base-font-size * 0.875;
 $base-line-height: 1.5;
diff --git a/de_help.md b/de_help.md
index ae7e005..fa36177 100644
--- a/de_help.md
+++ b/de_help.md
@@ -32,7 +32,7 @@ Für spezifische Informationen zu JLU GitLab, siehe [Informationen]({{ '/informa
 - [Weitere Hilfe](#more_help)
 
 
-## Notwendige Begriffe {#essential_terms}
+## Wichtige Konzepte {#essential_terms}
 
 Git und GitLab sind vielschichtige Werkzeuge mit vielen technischen Konzepten und Begriffen.
 Da deren Entwicklung und Namensschöpfung auf Englisch stattfindet, sind diese bisher nur teilweise in andere Sprachen übersetzt worden.
diff --git a/de_infos.md b/de_infos.md
index 0b33719..ce07133 100644
--- a/de_infos.md
+++ b/de_infos.md
@@ -104,7 +104,7 @@ Falls keine weiteren Gruppenmitglieder existieren, wird die Gruppe als verwaist
 
 #### Genauere Details {#deletion_details}
 
-Um mehr Details zu erläutern, bedient sich die folgende Erklärung einiger [notwendiger Begriffe zu Git und GitLab]({{ '/hilfe/#essential_terms' | relative_url }}).
+Um mehr Details zu erläutern, bedient sich die folgende Erklärung einiger [wichtiger Konzepte von Git und GitLab]({{ '/hilfe/#essential_terms' | relative_url }}).
 
 Wenn Ihr Nutzungskonto gelöscht wird, werden auch alle Daten aus ihrem Profil gelöscht, mitsamt allen Projekten in ihrem *Namensraum*.
 Beachten Sie, dass Projekte in Ihrem Namensraum auch dann gelöscht werden, wenn diese andere Projektmitglieder haben.
diff --git a/en_help.md b/en_help.md
index 28af9ce..a396b85 100644
--- a/en_help.md
+++ b/en_help.md
@@ -12,7 +12,7 @@ For specific information about JLU GitLab, see [information]({{ '/information/#w
 ## Content {#toc}
 
 <!-- NOTE this is (currently) just a manually maintained list. -->
-- [Essential terms](#essential_terms)
+- [Important concepts](#essential_terms)
     - [Git terminology](#terms_git)
     - [GitLab terminology](#terms_gitlab)
 - [How to use GitLab?](#how_to_gitlab)
diff --git a/en_infos.md b/en_infos.md
index 64a7c9b..40aa8ee 100644
--- a/en_infos.md
+++ b/en_infos.md
@@ -103,7 +103,7 @@ In case you are the only *Owner* of a group at the time of deletion, the group m
 If no other group members exist, the group is considered abandoned, and all its associated projects will be deleted as well.
 
 #### More precise details {#deletion_details}
-To explain more details, the following explanation relies on some [necessary terms of Git and GitLab]({{ '/help/#necessary_terms' | relative_url }}).
+To explain more details, the following explanation relies on some [important concepts of Git and GitLab]({{ '/help/#necessary_terms' | relative_url }}).
 
 Once your account is deleted, also all data from your user profile will be deleted, along with all projects in your own *namespace*.
 Note that projects in your own namespace will be deleted even if they have other members.
-- 
GitLab