From 9a4ce56d8687c46d12ec619eee1a7459b76254b1 Mon Sep 17 00:00:00 2001
From: Zankaria <zankaria.auxa@mailu.io>
Date: Mon, 17 Feb 2025 17:21:32 +0100
Subject: [PATCH] dark_red.css: always use Verdana font if available

---
 stylesheets/dark_red.css | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/stylesheets/dark_red.css b/stylesheets/dark_red.css
index 173a6619..74ef4e2b 100644
--- a/stylesheets/dark_red.css
+++ b/stylesheets/dark_red.css
@@ -33,11 +33,11 @@ div.title p {
 a, a:link, a:visited, .intro a.email span.name {
 	color: #CCC;
 	text-decoration: none;
-	font-family: sans-serif;
+	font-family: Verdana, sans-serif;
 }
 a:link:hover, a:visited:hover {
 	color: #fff;
-	font-family: sans-serif;
+	font-family: Verdana, sans-serif;
 	text-decoration: none;
 }
 a.post_no {
@@ -79,7 +79,7 @@ div.post.inline {
 }
 .intro span.subject {
 	font-size: 12px;
-	font-family: sans-serif;
+	font-family: Verdana, sans-serif;
 	color: #446655;
 	font-weight: 800;
 }
@@ -100,7 +100,7 @@ input[type="text"], textarea, select {
 	border: #666666 1px solid;
 	padding-left: 5px;
 	padding-right: -5px;
-	font-family: sans-serif;
+	font-family: Verdana, sans-serif;
 	font-size: 10pt;
 }
 input[type="password"] {
@@ -151,7 +151,7 @@ span.trip {
 }
 div.pages {
 	background: #1E1E1E;
-	font-family: sans-serif;
+	font-family: Verdana, sans-serif;
 }
 .bar.bottom {
     bottom: 0px;