Index: /extensions/hr_os/theme.css
===================================================================
--- /extensions/hr_os/theme.css	(revision 9716)
+++ /extensions/hr_os/theme.css	(revision 10834)
@@ -224,6 +224,6 @@
   padding: 0;
 }
-#menubar DL>DT {
-  padding: 0.2em 0.4em;
+#menubar DL > DT {
+    padding: 0.2em 0.4em 0;
 }