From c5f605766768e1b80f292a839e300d7084fe929e Mon Sep 17 00:00:00 2001 From: Gabriel Wicke Date: Fri, 21 May 2004 09:17:32 +0000 Subject: [PATCH] moved minor edit character to start of edit comment, makes the column layout more robust. Tried all sorts of things to make it work with M at front in IE5, but no luck. --- stylesheets/common.css | 15 ++++++--------- stylesheets/common_rtl.css | 5 +++++ stylesheets/monobook/main.css | 13 +++++-------- 3 files changed, 16 insertions(+), 17 deletions(-) diff --git a/stylesheets/common.css b/stylesheets/common.css index 1d7d5455a8..712e4fe78a 100644 --- a/stylesheets/common.css +++ b/stylesheets/common.css @@ -65,17 +65,14 @@ div.tleft { } /* Page history styling */ -/* automatically generated edit summaries */ +/* the auto-generated edit comments */ .autocomment { color: gray; } -#pagehistory span.hlinedesc { margin-left: 1.4em } -#pagehistory span.hflag { - margin-left: -1em; - font-weight: bold; -} -#pagehistory li { - border: 1px solid White; - padding-left: 1em; +#pagehistory span.user { + margin-left: 1.4em; + margin-right: 0.4em; } +#pagehistory span.minor { font-weight: bold; } +#pagehistory li { border: 1px solid White; } #pagehistory li.selected { background-color:#f9f9f9; border:1px dashed #aaaaaa; diff --git a/stylesheets/common_rtl.css b/stylesheets/common_rtl.css index f3e52aff03..8f50b2abb7 100644 --- a/stylesheets/common_rtl.css +++ b/stylesheets/common_rtl.css @@ -8,3 +8,8 @@ fieldset.operaprefsection { margin-left: 0; margin-right: 18em; } +/* page history */ +#pagehistory span.user { + margin-right: 1.4em; + margin-left: 0.4em; +} diff --git a/stylesheets/monobook/main.css b/stylesheets/monobook/main.css index c2d1bed52c..8facf54b1c 100644 --- a/stylesheets/monobook/main.css +++ b/stylesheets/monobook/main.css @@ -405,15 +405,12 @@ div.townBox dl dd { /* Page history styling */ /* the auto-generated edit comments */ .autocomment { color: gray; } -#pagehistory span.hlinedesc { margin-left: 1.4em } -#pagehistory span.hflag { - margin-left: -1em; - font-weight: bold; -} -#pagehistory li { - border: 1px solid White; - padding-left: 1em; +#pagehistory span.user { + margin-left: 1.4em; + margin-right: 0.4em; } +#pagehistory span.minor { font-weight: bold; } +#pagehistory li { border: 1px solid White; } #pagehistory li.selected { background-color:#f9f9f9; border:1px dashed #aaaaaa; -- 2.20.1