Merge "maintenance: Script to rename titles for Unicode uppercasing changes"

[lhc/web/wiklou.git] / resources / lib / ooui / oojs-ui-toolbars-wikimediaui.css

diff --git a/resources/lib/ooui/oojs-ui-toolbars-wikimediaui.css b/resources/lib/ooui/oojs-ui-toolbars-wikimediaui.css
index bfe284d..38d6ad0 100644 (file)
--- a/resources/lib/ooui/oojs-ui-toolbars-wikimediaui.css
+++ b/resources/lib/ooui/oojs-ui-toolbars-wikimediaui.css
@@ -1,12 +1,12 @@
 /*!
- * OOUI v0.32.1
+ * OOUI v0.33.1
  * https://www.mediawiki.org/wiki/OOUI
  *
  * Copyright 2011–2019 OOUI Team and other contributors.
  * Released under the MIT license
  * http://oojs.mit-license.org
  *
- * Date: 2019-06-05T16:24:16Z
+ * Date: 2019-07-03T21:05:15Z
  */
 .oo-ui-tool {
   -webkit-box-sizing: border-box;
@@ -174,6 +174,9 @@
   background-color: #c8ccd1;
   color: #fff;
 }
+.oo-ui-tool.oo-ui-widget-enabled.oo-ui-flaggedElement-primary > .oo-ui-tool-link {
+  font-weight: bold;
+}
 .oo-ui-tool.oo-ui-widget-enabled.oo-ui-flaggedElement-primary > .oo-ui-tool-link > .oo-ui-iconElement-icon,
 .oo-ui-tool.oo-ui-widget-enabled.oo-ui-flaggedElement-primary > .oo-ui-tool-link > .oo-ui-indicatorElement-indicator {
   opacity: 1;