diff --git a/onelab.css b/onelab.css
index e7611dfe75963cc19f828d91c9967618edbaf82a..cd6948be1831855c9b143e8f3638e4a648b06ab8 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; }
 }