Update to MediaWiki 1.25.1

2 files changed, 15 insertions, 0 deletions

diff --git a/skins/CologneBlue/resources/screen.css b/skins/CologneBlue/resources/screen.css
index 58823965..7bc3c3d7 100644
--- a/skins/CologneBlue/resources/screen.css
+++ b/skins/CologneBlue/resources/screen.css
@@ -148,6 +148,17 @@ h1#firstHeading {
 	margin-bottom: 0;
 }
 
+.mw-indicators {
+	float: right;
+}
+
+.mw-indicator {
+	display: -moz-inline-block;
+	display: inline-block;
+	zoom: 1;
+	*display: inline;
+}
+
 #article p.subtitle, #article p.subpages, #article p.tagline {
 	color: #666666;
 	font-size: 11pt;
diff --git a/skins/CologneBlue/resources/sectionAnchor.css b/skins/CologneBlue/resources/sectionAnchor.css
new file mode 100644
index 00000000..84f813c2
--- /dev/null
+++ b/skins/CologneBlue/resources/sectionAnchor.css
@@ -0,0 +1,4 @@
+/* Hide section anchor link, no space for it in the UI */
+.mw-headline-anchor {
+	display: none;
+}