From 737ec7e0cd5f738941d2930c37aa37d090d48a8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Fel=C5=A1=C3=B6ci?= <marek.felsoci@inria.fr>
Date: Mon, 25 Oct 2021 13:14:14 +0200
Subject: [PATCH] [readtheorginria] fix small monospaced text

---
 readtheorginria/css/readtheorginria.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/readtheorginria/css/readtheorginria.css b/readtheorginria/css/readtheorginria.css
index bdf9ed9..064bc58 100644
--- a/readtheorginria/css/readtheorginria.css
+++ b/readtheorginria/css/readtheorginria.css
@@ -369,7 +369,6 @@ code {
   background: #FFF;
   border: solid 1px #E1E4E5;
   font-family: monospace;
-  font-size: 75%;
   max-width: 100%;
   overflow-x: auto;
   padding: 0 5px;
-- 
GitLab