From 8a761ce43a6c88d9cbcbf2c787d62bcac9a24954 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 9 Mar 2018 06:50:08 +0100
Subject: [PATCH] Update onelab.css
---
onelab.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/onelab.css b/onelab.css
index e7611df..cd6948b 100644
--- a/onelab.css
+++ b/onelab.css
@@ -75,7 +75,7 @@ div.smallexample { margin-left: 0em; }
body { padding: 10px; }
h1 { font-size: 145%; }
h2 { font-size: 140%; }
- ul { padding-left: 1.5em; }
+ ul, ol { padding-left: 1.5em; }
#banner { width: 90px; padding-left: 1em; padding-bottom: 1em; }
#banner img { width: 90px; margin-bottom: 1ex; }
}
--
GitLab