Update OOjs UI to v0.1.0-pre (99068355d6)

New changes:
9906835 Make menu toolgroup take up less space and look more like a menu

Change-Id: Ie5e5f3d8f3f6bccdbacd85f1ea8423bfeaa8e2f2

diff --git a/resources/lib/oojs-ui/oojs-ui.js b/resources/lib/oojs-ui/oojs-ui.js
index cea2d00..6e45cef 100644 (file)
--- a/resources/lib/oojs-ui/oojs-ui.js
+++ b/resources/lib/oojs-ui/oojs-ui.js
@@ -1,12 +1,12 @@
 /*!
- * OOjs UI v0.1.0-pre (15f4156bac)
+ * OOjs UI v0.1.0-pre (99068355d6)
  * https://www.mediawiki.org/wiki/OOjs_UI
  *
  * Copyright 2011–2014 OOjs Team and other contributors.
  * Released under the MIT license
  * http://oojs.mit-license.org
  *
- * Date: Mon Jun 09 2014 16:46:13 GMT-0700 (PDT)
+ * Date: Tue Jun 10 2014 11:03:38 GMT-0700 (PDT)
  */
 ( function ( OO ) {
 

diff --git a/resources/lib/oojs-ui/oojs-ui.svg.css b/resources/lib/oojs-ui/oojs-ui.svg.css
index 7775b8b..79751f4 100644 (file)
--- a/resources/lib/oojs-ui/oojs-ui.svg.css
+++ b/resources/lib/oojs-ui/oojs-ui.svg.css
@@ -1,12 +1,12 @@
 /*!
- * OOjs UI v0.1.0-pre (15f4156bac)
+ * OOjs UI v0.1.0-pre (99068355d6)
  * https://www.mediawiki.org/wiki/OOjs_UI
  *
  * Copyright 2011–2014 OOjs Team and other contributors.
  * Released under the MIT license
  * http://oojs.mit-license.org
  *
- * Date: Mon Jun 09 2014 16:46:13 GMT-0700 (PDT)
+ * Date: Tue Jun 10 2014 11:03:38 GMT-0700 (PDT)
  */
 
 /* Textures */
@@ -467,13 +467,17 @@
   min-width: 8em;
 }
 
+.oo-ui-menuToolGroup .oo-ui-toolGroup-tools {
+  padding: 0.25em 0 0.25em 0;
+}
+
 .oo-ui-menuToolGroup .oo-ui-tool {
   display: block;
 }
 
 .oo-ui-menuToolGroup .oo-ui-tool-link {
   display: block;
-  padding: 0.25em 1em 0.25em 0.25em;
+  padding: 0 1em 0 0.25em;
   white-space: nowrap;
   cursor: pointer;
 }