From 5a88f7eee23784069102da3772f966d5918767cc Mon Sep 17 00:00:00 2001
From: Marek Felsoci <marek.felsoci@inria.fr>
Date: Wed, 18 Mar 2020 20:23:12 +0100
Subject: [PATCH] style fix
---
public/readtheorginria/css/readtheorginria.css | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/public/readtheorginria/css/readtheorginria.css b/public/readtheorginria/css/readtheorginria.css
index e96127b..dc7fc5a 100644
--- a/public/readtheorginria/css/readtheorginria.css
+++ b/public/readtheorginria/css/readtheorginria.css
@@ -401,7 +401,7 @@ table thead th {
table caption {
color: #000;
- font: italic 85%/1 arial, sans-serif;
+ font: italic 10pt sans-serif;
padding: 0 0 1em 0;
}
@@ -415,8 +415,7 @@ table tr: nth-child(2n) td {
.figure p {
color: #000;
- font: italic 85%/1 arial, sans-serif;
- padding: 1em 0;
+ font: italic 10pt sans-serif;
}
.rotate-90 {
--
GitLab