Fixes up some formatting on github menu theme, fixes some input variables in menu

src/collections/menu.less

@@ -141,7 +141,7 @@
   right: 0px;
   width: @dividerSize;
   height: 100%;
-  background-image: @dividerBackground;
+  background: @dividerBackground;
 }
 .ui.menu .menu.right .item:before,
 .ui.menu .item.right:before {
@@ -202,6 +202,7 @@
   top: @inputIconOffset;
 }
 .ui.menu .item > .input input {
+  font-size: @inputSize;
   padding-top: @inputVerticalPadding;
   padding-bottom: @inputVerticalPadding;
 }
@@ -339,7 +340,7 @@
   cursor: pointer;
   background: @hoverBackground;
 }
-.ui.menu .ui.dropdown.active {
+.ui.menu .ui.dropdown.visible {
   background: @subtleTransparentBlack;
   box-shadow: none;
   border-bottom-right-radius: 0em;
@@ -386,9 +387,6 @@
 .ui.vertical.menu .active.item .menu .active.item {
   border-left: none;
 }
-.ui.vertical.menu .active.item .menu .active.item {
-  padding-left: 1.5rem;
-}
 .ui.vertical.menu .item .menu .active.item {
   background-color: @subMenuActiveColor;
   box-shadow: none;
@@ -523,6 +521,7 @@
   margin: @subMenuMargin -@horizontalPadding 0em;
 }
 .ui.vertical.menu .item > .menu > .item {
+  background: none;
   padding: @subMenuHorizontalPadding @subMenuVerticalPadding;
   font-size: @subMenuFontSize;
 }
@@ -1187,10 +1186,10 @@
 
 /*--- Border ---*/
 .ui.inverted.menu .item:before {
-  background-image: @invertedDividerBackground;
+  background: @invertedDividerBackground;
 }
 .ui.vertical.inverted.menu .item:before {
-  background-image: @invertedVerticalDividerBackground;
+  background: @invertedVerticalDividerBackground;
 }
 
 /*--- Hover ---*/

src/themes/default/collections/menu.variables

@@ -84,6 +84,7 @@
 @labeledButtonPadding: 0.6em;
 
 /* Input */
+@inputSize: 0.875em;
 @inputVerticalMargin: -0.8em;
 @inputOffset: -0.05em;
 @inputVerticalPadding: 0.5em;
@@ -153,7 +154,6 @@
 /* Vertical */
 @verticalBackground: #FFFFFF;
 @verticalItemBackground: none;
-
 @verticalDividerBackground: linear-gradient(to right,
   rgba(0, 0, 0, 0.03) 0%,
   rgba(0, 0, 0, 0.1) 1.5em,

src/themes/github/collections/menu.overrides

@@ -1,3 +1,7 @@
 /*******************************
            Overrides
 *******************************/
+
+.ui.menu .item > .label {
+  box-shadow: 0px 0px 0px 1px rgba(0, 0, 0, 0.1) inset;
+}

src/themes/github/collections/menu.variables

@@ -32,6 +32,9 @@
 @arrowVerticalHoverColor: #F4F4F4;
 @arrowVerticalActiveColor: #F4F4F4;
 
+@dividerBackground: #E8E8E8;
+@verticalDividerBackground: #E8E8E8;
+
 /*-------------------
       Elements
 --------------------*/