From c983788f15aca707ba1aa207dd0d8c16b5adcdd1 Mon Sep 17 00:00:00 2001 From: Lucian Mogosanu Date: Thu, 2 Jan 2014 01:18:51 +0200 Subject: [PATCH] css: default: play with footnotes --- css/default.css | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/css/default.css b/css/default.css index 7309249..491e680 100644 --- a/css/default.css +++ b/css/default.css @@ -38,6 +38,15 @@ p, ul, ol { line-height: 1.68; } +/* This is nice, but I'm not decided + * whether I really want it or not. */ +/* +.footnotes ol { + list-style-position: outside; + padding: 0px; +} +*/ + pre { width: 99%; margin-left: auto; margin-right: auto; @@ -135,9 +144,9 @@ h3.pldate { } .footnotes hr { - width: 70%; + width: 99%; border: 0; - border-bottom: 1px dotted #e5e5e5; + border-bottom: 1px solid #e5e5e5; } span.imgleft { @@ -210,6 +219,6 @@ span > a { font-size: 14px; margin-top: 30px; - border-top: 2px solid #e2ebee; + border-top: 3px solid #e2ebee; color: #555; } -- 1.7.10.4