diff options
Diffstat (limited to 'resources/mediawiki.action/mediawiki.action.history.diff.css')
-rw-r--r-- | resources/mediawiki.action/mediawiki.action.history.diff.css | 94 |
1 files changed, 0 insertions, 94 deletions
diff --git a/resources/mediawiki.action/mediawiki.action.history.diff.css b/resources/mediawiki.action/mediawiki.action.history.diff.css deleted file mode 100644 index 31ca1078..00000000 --- a/resources/mediawiki.action/mediawiki.action.history.diff.css +++ /dev/null @@ -1,94 +0,0 @@ -/* -** Diff rendering -*/ -table.diff { - background-color: white; - border: none; - border-spacing: 4px; - margin: 0; - width: 100%; - /* Ensure that colums are of equal width */ - table-layout: fixed; -} - -table.diff td { - padding: 0.33em 0.5em; -} - -table.diff td.diff-marker { - /* Compensate padding for increased font-size */ - padding: 0.25em; -} - -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; -} - -td.diff-otitle, -td.diff-ntitle { - text-align: center; -} - -td.diff-lineno { - font-weight: bold; -} - -td.diff-marker { - text-align: right; - font-weight: bold; - font-size: 1.25em; -} - -td.diff-addedline, -td.diff-deletedline, -td.diff-context { - font-size: 88%; - vertical-align: top; - white-space: -moz-pre-wrap; - white-space: pre-wrap; - border-style: solid; - border-width: 1px 1px 1px 4px; - border-radius: 0.33em; -} - -td.diff-addedline { - border-color: #a3d3ff; -} - -td.diff-deletedline { - border-color: #ffe49c; -} - -td.diff-context { - background: #f9f9f9; - border-color: #e6e6e6; - color: #333333; -} - -.diffchange { - font-weight: bold; - text-decoration: none; -} - -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; -} |