From 9b4fa968ff72b62f759874df4d3d0f25c6a0eac9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marek=20Fel=C5=A1=C3=B6ci?= <marek.felsoci@inria.fr>
Date: Fri, 22 Jul 2022 15:29:15 +0200
Subject: [PATCH] [readtheorginria] minor visual improvements

---
 readtheorginria/css/readtheorginria.css | 23 ++++++++++++++++++++---
 1 file changed, 20 insertions(+), 3 deletions(-)

diff --git a/readtheorginria/css/readtheorginria.css b/readtheorginria/css/readtheorginria.css
index 064bc58..7e62bdd 100644
--- a/readtheorginria/css/readtheorginria.css
+++ b/readtheorginria/css/readtheorginria.css
@@ -933,6 +933,15 @@ hr {
   white-space: nowrap;
 }
 
+#table-of-contents code,
+#table-of-contents .tag {
+  font-size: 10pt;
+}
+
+#table-of-contents .tag span {
+  padding: 0 5px;
+}
+
 #table-of-contents ul {
   margin-bottom: 0;
 }
@@ -1135,6 +1144,11 @@ footer p {
   margin-bottom: 0px;
 }
 
+#postamble .author code {
+  color: #404040;
+  font-size: 10pt;
+}
+
 #postamble .date {
   font-size: 90%;
   margin-bottom: 0px;
@@ -1306,7 +1320,7 @@ h2.footnotes {
 .footnum,
 .footref {
   color: #E63312;
-  font-size: 170%;
+  font-size: 100%;
   font-family: "Lato", sans-serif;
 }
 
@@ -1348,6 +1362,10 @@ h2.footnotes {
   color: #FFF;
 }
 
+.tag {
+  background-color: inherit;
+}
+
 .tag span {
   background-color: #EDEDED;
   border: 1px solid #EDEDED;
@@ -1358,8 +1376,7 @@ h2.footnotes {
   font-size: 80%;
   font-weight: normal;
   margin: 0 3px;
-  padding: 1px 2px;
-  border-radius: 10px;
+  padding: 3px 5px;
 }
 
 .tag .FLAGGED {
-- 
GitLab