Remove annoying difference in button heights.

[SanPilot]

Why was that even there?

See before & after: http://imgur.com/a/yKdUR

[appleboy]

Please chage the less file not css.

[SanPilot]

Okay. Updated my pull request.

[appleboy]

@SanPilot Just change the less file. You don't need to change CSS file. Otherwise LGTM

[SanPilot]

I'm a little confused; will less be compiled in ci?

[appleboy]

@SanPilot Your are right. 👍

[SanPilot]

Ok, I'll fix it in the morning.

[appleboy]

@SanPilot No. You don't need to change anything. I say you are right for CI doesn't compile less file

[lafriks]

Blue buttons height is still 1px too much, see:

[sapk]

LGTM for at least have the same position. Like @lafriks show, blue buttons are larger than the url and can be fixed.

[silverwind]

Took a look at the CSS. It's not obvious what causes the different height and there are a number of padding hacks in place, especially for the clone bar. While the ideal solution would be to refactor the hacks to Semantic UI classes, a 7.5px padding on the buttons works on my screen.

[lunny]

@silverwind that maybe another PR. Let's merge this at first.