Update to MediaWiki 1.24.1

1 files changed, 53 insertions, 0 deletions

diff --git a/resources/src/mediawiki/mediawiki.content.json.css b/resources/src/mediawiki/mediawiki.content.json.css
new file mode 100644
index 00000000..d93e291e
--- /dev/null
+++ b/resources/src/mediawiki/mediawiki.content.json.css
@@ -0,0 +1,53 @@
+/*!
+ * CSS for styling HTML-formatted JSON Schema objects
+ *
+ * @file
+ * @author Munaf Assaf <massaf@wikimedia.org>
+ */
+
+.mw-json {
+	border-collapse: collapse;
+	border-spacing: 0;
+	font-style: normal;
+}
+
+.mw-json th,
+.mw-json td {
+	border: 1px solid gray;
+	font-size: 16px;
+	padding: 0.5em 1em;
+}
+
+.mw-json td {
+	background-color: #eee;
+	font-style: italic;
+}
+
+.mw-json .value {
+	background-color: #dcfae3;
+	font-family: monospace, monospace;
+	white-space: pre-wrap;
+}
+
+.mw-json tr {
+	margin-bottom: 0.5em;
+}
+
+.mw-json th {
+	background-color: #fff;
+	font-weight: normal;
+}
+
+.mw-json caption {
+	/* For stylistic reasons, suppress the caption of the outermost table */
+	display: none;
+}
+
+.mw-json table caption {
+	color: gray;
+	display: inline-block;
+	font-size: 10px;
+	font-style: italic;
+	margin-bottom: 0.5em;
+	text-align: left;
+}