/*!
- * OOUI v0.30.0
+ * OOUI v0.30.1
* https://www.mediawiki.org/wiki/OOUI
*
- * Copyright 2011–2018 OOUI Team and other contributors.
+ * Copyright 2011–2019 OOUI Team and other contributors.
* Released under the MIT license
* http://oojs.mit-license.org
*
- * Date: 2018-12-20T06:10:36Z
+ * Date: 2019-01-10T07:00:17Z
*/
.oo-ui-tool {
-webkit-box-sizing: border-box;