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
This commit is contained in:
committed by
Abdelghani Tassi
parent
19e4c0fccd
commit
9030df2d8b
@ -8,7 +8,7 @@
|
|||||||
}
|
}
|
||||||
|
|
||||||
.CodeMirror span {
|
.CodeMirror span {
|
||||||
font-size: 18px;
|
font-size: 15px;
|
||||||
font-family: "Ubuntu Mono";
|
font-family: "Ubuntu Mono";
|
||||||
padding-bottom: 0px;
|
padding-bottom: 0px;
|
||||||
margin-bottom: 0px;
|
margin-bottom: 0px;
|
||||||
@ -19,7 +19,7 @@
|
|||||||
background-color: @body-bg;
|
background-color: @body-bg;
|
||||||
}
|
}
|
||||||
.CodeMirror-linenumber {
|
.CodeMirror-linenumber {
|
||||||
font-size: 18px;
|
font-size: 15px;
|
||||||
font-family: "Ubuntu Mono";
|
font-family: "Ubuntu Mono";
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -53,7 +53,7 @@
|
|||||||
@font-family-monospace: Menlo, Monaco, Consolas, "Courier New", monospace;
|
@font-family-monospace: Menlo, Monaco, Consolas, "Courier New", monospace;
|
||||||
@font-family-base: @font-family-sans-serif;
|
@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-large: ceil((@font-size-base * 1.25)); // ~18px
|
||||||
@font-size-small: ceil((@font-size-base * 0.85)); // ~12px
|
@font-size-small: ceil((@font-size-base * 0.85)); // ~12px
|
||||||
|
|
||||||
|
@ -271,10 +271,11 @@ h1, h2, h3, h4, h5, h6, p, li {
|
|||||||
|
|
||||||
a {
|
a {
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
|
font-size : 15px;
|
||||||
}
|
}
|
||||||
|
|
||||||
p {
|
p {
|
||||||
font-size: 16px;
|
font-size: 15px;
|
||||||
}
|
}
|
||||||
|
|
||||||
.map-aside-body p {
|
.map-aside-body p {
|
||||||
|
Reference in New Issue
Block a user