Merge pull request #15787 from AbdelghaniTassi/fix/font-consistency

Fix/font consistency
2017-09-03 17:38:20 -05:00
parent abbdb28228 9030df2d8b
commit 220960bdfd
3 changed files with 5 additions and 4 deletions
--- 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";
 }

--- 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

--- a/client/less/main.less
+++ b/client/less/main.less
@@ -279,10 +279,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 {