diff options
Diffstat (limited to 'resources/src/mediawiki.legacy/commonPrint.css')
| -rw-r--r-- | resources/src/mediawiki.legacy/commonPrint.css | 42 |
1 files changed, 3 insertions, 39 deletions
diff --git a/resources/src/mediawiki.legacy/commonPrint.css b/resources/src/mediawiki.legacy/commonPrint.css index 830b02fa..9a8d3918 100644 --- a/resources/src/mediawiki.legacy/commonPrint.css +++ b/resources/src/mediawiki.legacy/commonPrint.css @@ -23,7 +23,6 @@ div#column-one, #toc.tochidden, div#f-poweredbyico, div#f-copyrightico, -li#viewcount, li#about, li#disclaimer, li#mobileview, @@ -35,6 +34,7 @@ span.mw-filepage-other-resolutions, #filetoc, .usermessage, .patrollink, +.ns-0 .mw-redirectedfrom, #mw-navigation, #siteNotice { display: none; @@ -203,6 +203,7 @@ a.stub { /** * Floating divs */ +/* @noflip */ div.floatright { float: right; clear: right; @@ -214,6 +215,7 @@ div.floatright p { font-style: italic; } +/* @noflip */ div.floatleft { float: left; clear: left; @@ -323,44 +325,6 @@ div.gallerytext { } /** - * Diff rendering - */ -table.diff { - background: white; -} - -td.diff-otitle { - background: #ffffff; -} - -td.diff-ntitle { - background: #ffffff; -} - -td.diff-addedline { - background: #ccffcc; - font-size: smaller; - border: solid 2px black; -} - -td.diff-deletedline { - background: #ffffaa; - font-size: smaller; - border: dotted 2px black; -} - -td.diff-context { - background: #eeeeee; - font-size: smaller; -} - -.diffchange { - color: silver; - font-weight: bold; - text-decoration: underline; -} - -/** * Table rendering * As on shared.css but with white background. */ |