From bb19f9aa23afc9f0eeb01a3a12c89796367407e6 Mon Sep 17 00:00:00 2001
From: mischa <mischa@rx.high5.nl>
Date: Tue, 6 Sep 2022 14:01:05 +0000
Subject: [PATCH] smaller font-size

---
 stylesheet.css | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/stylesheet.css b/stylesheet.css
index f73d333..a8f61b9 100644
--- a/stylesheet.css
+++ b/stylesheet.css
@@ -2,7 +2,7 @@ body {
 	background: #ffffff;
 	color: #000000;
 	font-family: BitStream Vera Sans, Verdana, Arial, Helvetica, sans-serif;
-	font-size: 13px;
+	font-size: 12px;
 	font-weight: normal;
 	text-align: center;
 }
@@ -26,7 +26,7 @@ a:visited, a:active {
 	color: #777777;
 	background: #dddddd;
 	padding: 3px 3px 3px 3px;
-	font-size: 13px;
+	font-size: 12px;
 }
 
 .button:hover {
@@ -70,7 +70,7 @@ a:visited, a:active {
 }
 
 #login_table h4 {
-	font-size: 13px;
+	font-size: 12px;
 }
 
 #menu {
@@ -116,7 +116,7 @@ a:visited, a:active {
 
 #edit_form h3  {
 	text-align: center;
-	font-size: 13px;
+	font-size: 12px;
 	margin: 0;
 	background: #AFE1A6; /*#b4004a;*/
 	border: 1px solid #bbb;
@@ -205,7 +205,7 @@ a:visited, a:active {
 #alias_table h3, #mailbox_table h3, #overview_table h3, #log_table h3, #admin_table h3 {
 	background: silver;
 	text-align: left;
-	font-size: 13px;
+	font-size: 12px;
 	font-weight: bold;
 	padding-left: 20px;
 	line-height: 25px;
@@ -221,7 +221,7 @@ a:visited, a:active {
 	line-height: 20px;
 	text-align: left;
 	padding-left: 15px;
-	font-size: 12px;
+	font-size: 11px;
 }
 
 #footer a {