Rebuild / fix github theme values

build/less/definitions/collections/menu.less

@@ -139,6 +139,7 @@
 ---------------*/
 
 .ui.menu .text.item > *,
+.ui.menu .item > a,
 .ui.menu .item > p:only-child {
   user-select: text;
   line-height: @textLineHeight;

build/less/themes/packages/default/collections/menu.variables

@@ -98,11 +98,11 @@
 @labeledButtonPadding: 0.6em;
 
 /* Input */
-@inputSize: 0.875em;
+@inputSize: 1em;
 @inputVerticalMargin: -0.6em;
-@inputOffset: -0.05em;
+@inputOffset: 0em;
 @inputVerticalPadding: 0.4em;
-@inputIconOffset: -0.25em;
+@inputIconOffset: -0.3em;
 
 @smallInputOffset: 0em;
 @smallInputVerticalPadding: 0.4em;

build/packaged/definitions/css/semantic.css

@@ -2453,6 +2453,7 @@ body > .ui.grid:not(.page) {
   Text Content
 ---------------*/
 .ui.menu .text.item > *,
+.ui.menu .item > a,
 .ui.menu .item > p:only-child {
   -webkit-user-select: text;
      -moz-user-select: text;
@@ -2495,17 +2496,17 @@ body > .ui.grid:not(.page) {
 ---------------*/
 .ui.menu:not(.vertical) .item > .input {
   position: relative;
-  top: -0.05em;
+  top: 0em;
   margin: -0.6em 0em;
-  padding-top: -0.25em;
-  padding-bottom: -0.25em;
+  padding-top: -0.3em;
+  padding-bottom: -0.3em;
   width: 100%;
 }
 .ui.menu:not(.vertical) .item > .icon.input .icon {
-  top: -0.25em;
+  top: -0.3em;
 }
 .ui.menu .item > .input input {
-  font-size: 0.875em;
+  font-size: 1em;
   padding-top: 0.4em;
   padding-bottom: 0.4em;
 }

build/uncompressed/definitions/collections/menu.css

@@ -307,6 +307,7 @@
   Text Content
 ---------------*/
 .ui.menu .text.item > *,
+.ui.menu .item > a,
 .ui.menu .item > p:only-child {
   -webkit-user-select: text;
      -moz-user-select: text;
@@ -349,17 +350,17 @@
 ---------------*/
 .ui.menu:not(.vertical) .item > .input {
   position: relative;
-  top: -0.05em;
+  top: 0em;
   margin: -0.6em 0em;
-  padding-top: -0.25em;
-  padding-bottom: -0.25em;
+  padding-top: -0.3em;
+  padding-bottom: -0.3em;
   width: 100%;
 }
 .ui.menu:not(.vertical) .item > .icon.input .icon {
-  top: -0.25em;
+  top: -0.3em;
 }
 .ui.menu .item > .input input {
-  font-size: 0.875em;
+  font-size: 1em;
   padding-top: 0.4em;
   padding-bottom: 0.4em;
 }

src/themes/packages/github/collections/menu.variables

@@ -39,9 +39,6 @@
       Elements
 --------------------*/
 
-@inputVerticalPadding: 0.65em;
-@inputIconOffset: -0.1em;
-
 @buttonOffset: -0.15em;
 @buttonVerticalPadding: 0.75em;