X-Git-Url: https://scripts.mit.edu/gitweb/autoinstalls/mediawiki.git/blobdiff_plain/19e297c21b10b1b8a3acad5e73fc71dcb35db44a..6932310fd58ebef145fa01eb76edf7150284d8ea:/resources/src/mediawiki/mediawiki.diff.styles.css

diff --git a/resources/src/mediawiki/mediawiki.diff.styles.css b/resources/src/mediawiki/mediawiki.diff.styles.css
new file mode 100644
index 00000000..7a73e984
--- /dev/null
+++ b/resources/src/mediawiki/mediawiki.diff.styles.css
@@ -0,0 +1,121 @@
+/*!
+ * Diff rendering
+ */
+
+.diff {
+	border: 0;
+	border-spacing: 4px;
+	margin: 0;
+	width: 100%;
+	/* Ensure that colums are of equal width */
+	table-layout: fixed;
+}
+
+.diff td {
+	padding: 0.33em 0.5em;
+}
+
+.diff td.diff-marker {
+	/* Compensate padding for increased font-size */
+	padding: 0.25em;
+}
+
+.diff col.diff-marker {
+	width: 2%;
+}
+
+.diff .diff-content {
+	width: 48%;
+}
+
+.diff td div {
+	/* Force-wrap very long lines such as URLs or page-widening char strings */
+	word-wrap: break-word;
+}
+
+.diff-otitle,
+.diff-ntitle {
+	text-align: center;
+}
+
+.diff-lineno {
+	font-weight: bold;
+}
+
+td.diff-marker {
+	text-align: right;
+	font-weight: bold;
+	font-size: 1.25em;
+	line-height: 1.2;
+}
+
+.diff-addedline,
+.diff-deletedline,
+.diff-context {
+	font-size: 88%;
+	line-height: 1.6;
+	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;
+}
+
+.diff-addedline {
+	border-color: #a3d3ff;
+}
+
+.diff-deletedline {
+	border-color: #ffe49c;
+}
+
+.diff-context {
+	background: #f9f9f9;
+	border-color: #e6e6e6;
+	color: #333;
+}
+
+.diffchange {
+	font-weight: bold;
+	text-decoration: none;
+}
+
+.diff-addedline .diffchange,
+.diff-deletedline .diffchange {
+	border-radius: 0.33em;
+	padding: 0.25em 0;
+}
+
+.diff-addedline .diffchange {
+	background: #d8ecff;
+}
+
+.diff-deletedline .diffchange {
+	background: #feeec8;
+}
+
+/* Correct user & content directionality when viewing a diff */
+.diff-currentversion-title,
+.diff {
+	direction: ltr;
+	unicode-bidi: embed;
+}
+
+/* @noflip */ .diff-contentalign-right td {
+	direction: rtl;
+	unicode-bidi: embed;
+}
+
+/* @noflip */ .diff-contentalign-left td {
+	direction: ltr;
+	unicode-bidi: embed;
+}
+
+.diff-multi,
+.diff-otitle,
+.diff-ntitle,
+.diff-lineno {
+	direction: ltr !important; /* stylelint-disable-line declaration-no-important */
+	unicode-bidi: embed;
+}