From 854a2c4fee189b30c02c7ad087079a56844bcee9 Mon Sep 17 00:00:00 2001
From: zPlus <zplus@peers.community>
Date: Tue, 9 Aug 2022 13:01:14 +0200
Subject: [PATCH] Switch to using monospace font everywhere.

---
 static/css/clif.css | 20 ++------------------
 1 file changed, 2 insertions(+), 18 deletions(-)

diff --git a/static/css/clif.css b/static/css/clif.css
index 85e0be8..c716ca0 100644
--- a/static/css/clif.css
+++ b/static/css/clif.css
@@ -9,7 +9,8 @@
 }
 
 html, body {
-    font-family: Sans-Serif;
+    font-family: monospace;
+    font-size: 1rem;
 }
 
 blockquote {
@@ -40,7 +41,6 @@ p {
 }
 
 pre {
-    font-size: 1rem;
     line-height: 1.5rem;
 }
 
@@ -76,8 +76,6 @@ pre {
 
     .repository > .readme {
         flex: 70%;
-        font-family: monospace;
-        font-size: 1rem;
         white-space: pre-wrap;
         padding: 0 1rem 0 0;
     }
@@ -197,10 +195,6 @@ table.log {
     
     table.log > tbody {
     }
-    
-        table.log > tbody td.short_id {
-            font-family: ui-monospace, monospace;
-        }
         
         table.log > tbody td.message {
             width: 100%;
@@ -337,23 +331,17 @@ div.commit {
     }
     
     div.commit details.diffstat table .filemode {
-        font-family: monospace;
-        font-size: 1rem;
         white-space: nowrap;
         width: 0;
     }
     
     div.commit details.diffstat table .path {
-        font-family: monospace;
-        font-size: 1rem;
         padding: 0 1rem;
         white-space: nowrap;
         width: 0;
     }
     
     div.commit details.diffstat table .lines {
-        font-family: monospace;
-        font-size: 1rem;
         text-align: right;
         white-space: nowrap;
         width:0;
@@ -395,8 +383,6 @@ div.commit {
     
     div.commit .raw_diff {
         margin-top: 1rem;
-        font-family: monospace;
-        font-size: 1rem;
         white-space: pre-wrap;
     }
     
@@ -436,8 +422,6 @@ div.commit {
     div.commit details.diff_view .diff {
         border-collapse: collapse;
         border-spacing: 0;
-        font-family: monospace;
-        font-size: 1rem;
         width: 100%;
     }