X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=resources%2Flib%2Foojs-ui%2Foojs-ui-core-wikimediaui.css;h=7951abbc9d3ccf3f44cdeb6d7c2b2412d2ab0b07;hp=f9183da934f0914c818080c1068c2d8a4c604b52;hb=cf02a19cdb114049f209bec637e07a0c97ae8fca;hpb=d8a2d6bf54c0853997d885aeb35e192db5a0c528

diff --git a/resources/lib/oojs-ui/oojs-ui-core-wikimediaui.css b/resources/lib/oojs-ui/oojs-ui-core-wikimediaui.css
index f9183da934..7951abbc9d 100644
--- a/resources/lib/oojs-ui/oojs-ui-core-wikimediaui.css
+++ b/resources/lib/oojs-ui/oojs-ui-core-wikimediaui.css
@@ -1,12 +1,12 @@
 /*!
- * OOUI v0.25.1
+ * OOUI v0.25.2
  * https://www.mediawiki.org/wiki/OOUI
  *
  * Copyright 2011–2018 OOUI Team and other contributors.
  * Released under the MIT license
  * http://oojs.mit-license.org
  *
- * Date: 2018-01-17T01:47:20Z
+ * Date: 2018-02-07T00:27:29Z
  */
 /**
  * WikimediaUI Base v0.10.0
@@ -425,6 +425,12 @@
   min-height: 12px;
   height: 100%;
 }
+.oo-ui-labelElement .oo-ui-labelElement-label,
+.oo-ui-labelElement.oo-ui-labelElement-label {
+  -webkit-box-sizing: border-box;
+  -moz-box-sizing: border-box;
+  box-sizing: border-box;
+}
 .oo-ui-labelElement .oo-ui-labelElement-label-highlight {
   font-weight: bold;
 }