Button: Adds font family setting to buttons

src/elements/button.less

@@ -38,6 +38,7 @@
   margin: 0em;
   padding: @verticalPadding @horizontalPadding (@verticalPadding + @shadowOffset);
 
+  font-family: @fontFamily;
   text-transform: @textTransform;
   text-shadow: @textShadow;
   font-weight: @fontWeight;

src/semantic.config

@@ -11,7 +11,7 @@
 @theme   : 'default';
 
 /* Elements */
-@button   : 'github';
+@button   : 'default';
 @icon     : 'default';
 @divider  : 'default';
 @header   : 'default';

src/themes/github/elements/button.overrides

@@ -2,6 +2,3 @@
            Overrides
 *******************************/
 
-.ui.button {
-  font-family: Helvetica Neue, Helvetica, Arial, sans-serif;
-}

src/themes/github/elements/button.variables

@@ -3,6 +3,7 @@
 --------------------*/
 
 /* Button Variables */
+@fontFamily: 'Helvetica Neue, Helvetica, Arial, sans-serif';
 @textTransform: none;
 @fontWeight: bold;
 @textColor: #333333;