diff options
Diffstat (limited to 'resources/mediawiki.action/mediawiki.action.history.diff.css')
-rw-r--r-- | resources/mediawiki.action/mediawiki.action.history.diff.css | 65 |
1 files changed, 54 insertions, 11 deletions
diff --git a/resources/mediawiki.action/mediawiki.action.history.diff.css b/resources/mediawiki.action/mediawiki.action.history.diff.css index 3907a5f4..10473be7 100644 --- a/resources/mediawiki.action/mediawiki.action.history.diff.css +++ b/resources/mediawiki.action/mediawiki.action.history.diff.css @@ -4,33 +4,57 @@ table.diff, td.diff-otitle, td.diff-ntitle { background-color: white; } + td.diff-otitle, td.diff-ntitle { text-align: center; } + td.diff-marker { text-align: right; + font-weight: bold; + font-size: 1.25em; } + td.diff-lineno { font-weight: bold; } + +td.diff-addedline, +td.diff-deletedline, +td.diff-context { + font-size: 88%; + vertical-align: top; + white-space: -moz-pre-wrap; + white-space: pre-wrap; +} + +td.diff-addedline, +td.diff-deletedline { + border-style: solid; + border-width: 1px 1px 1px 4px; + border-radius: 0.33em; +} + td.diff-addedline { - background: #cfc; - font-size: smaller; + border-color: #a3d3ff; } + td.diff-deletedline { - background: #ffa; - font-size: smaller; + border-color: #ffe49c; } + td.diff-context { - background: #eee; - font-size: smaller; + background: #f3f3f3; + color: #333333; + border-style: solid; + border-width: 1px 1px 1px 4px; + border-color: #e6e6e6; + border-radius: 0.33em; } + .diffchange { - color: red; font-weight: bold; - white-space: -moz-pre-wrap; - white-space: pre-wrap; text-decoration: none; } @@ -42,20 +66,39 @@ table.diff { /* Ensure that colums are of equal width */ table-layout: fixed; } + +td.diff-addedline .diffchange, +td.diff-deletedline .diffchange { + border-radius: 0.33em; + padding: 0.25em 0; +} + +td.diff-addedline .diffchange { + background: #d8ecff; +} + +td.diff-deletedline .diffchange { + background: #feeec8; +} + table.diff td { - padding: 0; + padding: 0.33em 0.66em; } + table.diff col.diff-marker { width: 2%; } + table.diff col.diff-content { width: 48%; } + table.diff td div { /* Force-wrap very long lines such as URLs or page-widening char strings.*/ word-wrap: break-word; /* As fallback (FF<3.5, Opera <10.5), scrollbars will be added for very wide cells - instead of text overflowing or widening */ + instead of text overflowing or widening + */ overflow: auto; } |