From 9030df2d8bc9b9dffd66f617b0698a7ea445aa14 Mon Sep 17 00:00:00 2001
From: Abdelghani TAssi <tassiabdelghani@gmail.com>
Date: Sun, 13 Aug 2017 01:07:00 +0200
Subject: [PATCH] fix: uniformize text font size to 15px

fix: change code area text font size to 15px

fix: undo modification that have been accidentally commited

fix: undo modification that have been accidentally commited

fix: change tests font size to 15px
---
 client/less/code-mirror.less             | 4 ++--
 client/less/lib/bootstrap/variables.less | 2 +-
 client/less/main.less                    | 3 ++-
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/client/less/code-mirror.less b/client/less/code-mirror.less
index 69430c2b3d..6e60833e48 100644
--- a/client/less/code-mirror.less
+++ b/client/less/code-mirror.less
@@ -8,7 +8,7 @@
 }
 
 .CodeMirror span {
-  font-size: 18px;
+  font-size: 15px;
   font-family: "Ubuntu Mono";
   padding-bottom: 0px;
   margin-bottom: 0px;
@@ -19,7 +19,7 @@
   background-color: @body-bg;
 }
 .CodeMirror-linenumber {
-  font-size: 18px;
+  font-size: 15px;
   font-family: "Ubuntu Mono";
 }
 
diff --git a/client/less/lib/bootstrap/variables.less b/client/less/lib/bootstrap/variables.less
index a43c21f8da..3fd7149834 100755
--- a/client/less/lib/bootstrap/variables.less
+++ b/client/less/lib/bootstrap/variables.less
@@ -53,7 +53,7 @@
 @font-family-monospace:   Menlo, Monaco, Consolas, "Courier New", monospace;
 @font-family-base:        @font-family-sans-serif;
 
-@font-size-base:          14px;
+@font-size-base:          15px;
 @font-size-large:         ceil((@font-size-base * 1.25)); // ~18px
 @font-size-small:         ceil((@font-size-base * 0.85)); // ~12px
 
diff --git a/client/less/main.less b/client/less/main.less
index 043d001eb2..129800454e 100644
--- a/client/less/main.less
+++ b/client/less/main.less
@@ -271,10 +271,11 @@ h1, h2, h3, h4, h5, h6, p, li {
 
 a {
   font-weight: bold;
+  font-size : 15px;
 }
 
 p {
-  font-size: 16px;
+  font-size: 15px;
 }
 
 .map-aside-body p {