diff --git a/css/main.scss b/css/main.scss
index d7736656d0f1134de52974547569d57994478aec..056864fbb296b8e9cab0f5489a419f2779241def 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 ae7e005e068c9ce87b6e6cd85e44bd6387852eaf..fa36177bb8b74519dda5cababfca5ba0ae97a638 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 0b33719aa668fbf8610924c8e90d6281308f50a9..ce071330ef11fd4310bda2c9e25d855e82cb1fd6 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 28af9ce487c78c5d6dba6885f8dce04575e2acbf..a396b855b5d56984646b0c9e1f12a874e4ef5aa4 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 64a7c9bd8e8c6802994e4c439f6997a5c0457418..40aa8ee3da5bb08a20fd8466efa67c62d80af199 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.