# HG changeset patch
# User raph
# Date 1260368901 -3600
# Node ID a877b19deb981ea40ea991cae9d2384b40ad1855
# Parent  fec6dd7087beb4649dce103a13ca59b562e0f0a7
paginator bold

diff -r fec6dd7087be -r a877b19deb98 src/cm/media/css/base.css
--- a/src/cm/media/css/base.css	Wed Dec 09 12:34:44 2009 +0100
+++ b/src/cm/media/css/base.css	Wed Dec 09 15:28:21 2009 +0100
@@ -792,4 +792,8 @@
 
 dl dd {
 	padding-bottom: 1em;
+}
+
+#paginator {
+	font-weight: bold;
 }
\ No newline at end of file