From f0d0cea810695e6e096e375645f6b74945a62072 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Tue, 21 Mar 2023 22:14:15 +0000
Subject: website: Remove small caps for headings.

* website/style.css (h1, h3): Delete styles.
---
 website/style.css | 2 --
 1 file changed, 2 deletions(-)

(limited to 'website')

diff --git a/website/style.css b/website/style.css
index 907de70..be88f34 100644
--- a/website/style.css
+++ b/website/style.css
@@ -42,5 +42,3 @@ pre {
     background-color: #f0f0f0;
     padding: 1em;
 }
-
-h1, h3 { font-variant: small-caps; }
-- 
cgit v1.2.3