Revert base font size to 16px, fix phrasing.

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;

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.

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.

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)

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.