From 0a0ddcc5814ac3e94568aaeefa7060345951c562 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Wed, 23 May 2018 01:49:15 +0200
Subject: [PATCH] Align tabs and search input font-size

Bumping font-size slightly up from 12.8px to 13px and unify it on
Vector tabs and search input.

Change-Id: Ia2e2d623b19fba2566db36b9800102d52130af6b
---
 components/search.less |  2 +-
 components/tabs.less   | 12 ++++++------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/components/search.less b/components/search.less
index 652cb01..d86ef54 100644
--- a/components/search.less
+++ b/components/search.less
@@ -54,7 +54,7 @@
 	#searchInput {
 		width: 100%;
 		padding: 0.2em 0 0.2em 0.2em;
-		font-size: 13px;
+		font-size: 0.8125em; // equals `13px` at browser default of `16px`
 		direction: ltr;
 
 		&:focus {
diff --git a/components/tabs.less b/components/tabs.less
index 1f9b942..2b5c64d 100644
--- a/components/tabs.less
+++ b/components/tabs.less
@@ -68,11 +68,11 @@
 		a {
 			display: block;
 			height: 1.9em;
-			padding-left: 0.625em; // equals `8px` at computed `font-size` of `12.8px`
-			padding-right: 0.625em;
+			padding-left: 0.615em; // equals `8px` at computed `font-size` of `13px` below
+			padding-right: 0.615em;
 			color: @menu-link-color;
 			cursor: pointer;
-			font-size: 0.8em;
+			font-size: 0.8125em; // equals `13px` at browser default of `16px`
 		}
 	}
 
@@ -117,8 +117,8 @@
 	span {
 		position: relative;
 		display: block;
-		font-size: 0.8em;
-		padding-left: 0.625em;
+		font-size: 0.8125em;
+		padding-left: 0.615em;
 		padding-top: 1.25em;
 		padding-right: 16px;
 		font-weight: normal;
@@ -223,7 +223,7 @@ x:default {
 	white-space: nowrap;
 	color: @menu-link-color;
 	cursor: pointer;
-	font-size: 0.8em;
+	font-size: 0.8125em;
 }
 
 .vectorMenu li.selected a,