/*!
- * OOUI v0.33.0
+ * 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-27T03:27:33Z
+ * Date: 2019-07-03T21:05:15Z
*/
.oo-ui-tool {
-webkit-box-sizing: border-box;