From 8b4e6578f46aea784cb774f56be858a2442485cd Mon Sep 17 00:00:00 2001
From: Mark Craig <mark.craig@forgerock.com>
Date: Mon, 05 Dec 2011 12:12:41 +0000
Subject: [PATCH] When I grow up, I'm going to learn how to do relative font sizes properly in CSS.
---
opendj3/src/main/resources/css/coredoc.css | 5 +++++
1 files changed, 5 insertions(+), 0 deletions(-)
diff --git a/opendj3/src/main/resources/css/coredoc.css b/opendj3/src/main/resources/css/coredoc.css
index a015c6a..4c48d1c 100644
--- a/opendj3/src/main/resources/css/coredoc.css
+++ b/opendj3/src/main/resources/css/coredoc.css
@@ -190,6 +190,11 @@
max-height: 480px;
}
+ol
+{
+ font-size: 12px;
+}
+
/*
* Man pages
*/
--
Gitblit v1.10.0