diff --git a/libraries/common.inc.php b/libraries/common.inc.php
index 99dec96ee9..4e83c2e2f9 100644
--- a/libraries/common.inc.php
+++ b/libraries/common.inc.php
@@ -61,8 +61,8 @@ if (getcwd() == __DIR__) {
  */
 if (PHP_VERSION_ID < 70103) {
     die(
-        'PHP 7.1.3+ is required. <br> Currently installed version is: '
-        . PHP_VERSION
+        '<p>PHP 7.1.3+ is required.</p>'
+        . '<p>Currently installed version is: ' . PHP_VERSION . '</p>'
     );
 }
 
@@ -81,9 +81,10 @@ require_once ROOT_PATH . 'libraries/vendor_config.php';
  */
 if (! @is_readable(AUTOLOAD_FILE)) {
     die(
-        'File <tt>' . AUTOLOAD_FILE . '</tt> missing or not readable. <br>'
-        . 'Most likely you did not run Composer to '
-        . '<a href="https://docs.phpmyadmin.net/en/latest/setup.html#installing-from-git">install library files</a>.'
+        '<p>File <samp>' . AUTOLOAD_FILE . '</samp> missing or not readable.</p>'
+        . '<p>Most likely you did not run Composer to '
+        . '<a href="https://docs.phpmyadmin.net/en/latest/setup.html#installing-from-git">'
+        . 'install library files</a>.</p>'
     );
 }
 require_once AUTOLOAD_FILE;
diff --git a/themes/bootstrap/scss/_common.scss b/themes/bootstrap/scss/_common.scss
index 6dfd684f5a..70f1b72a40 100644
--- a/themes/bootstrap/scss/_common.scss
+++ b/themes/bootstrap/scss/_common.scss
@@ -11,7 +11,6 @@ body {
 }
 
 textarea,
-tt,
 pre,
 code {
   font-family: $font-family-monospace;
diff --git a/themes/metro/scss/_common.scss b/themes/metro/scss/_common.scss
index 97378b9c34..3d2fab4cd0 100644
--- a/themes/metro/scss/_common.scss
+++ b/themes/metro/scss/_common.scss
@@ -235,7 +235,6 @@ form.login label {
 }
 
 textarea,
-tt,
 pre,
 code {
   font-family: $font-family-monospace !important;
diff --git a/themes/original/scss/_common.scss b/themes/original/scss/_common.scss
index d3c210bad2..df45a4b7bb 100644
--- a/themes/original/scss/_common.scss
+++ b/themes/original/scss/_common.scss
@@ -17,7 +17,6 @@ body {
 }
 
 textarea,
-tt,
 pre,
 code {
   font-family: $font-family-monospace;
diff --git a/themes/pmahomme/scss/_common.scss b/themes/pmahomme/scss/_common.scss
index c840412f8d..4d0e272212 100644
--- a/themes/pmahomme/scss/_common.scss
+++ b/themes/pmahomme/scss/_common.scss
@@ -17,7 +17,6 @@ body {
 }
 
 textarea,
-tt,
 pre,
 code {
   font-family: $font-family-monospace;