ref: 705104338e1b645c7745168884f41d4855bc0ace
parent: 868e4798d5153508e21aed574f63a9fa0c1a8c17
author: Anthony Fok <[email protected]>
date: Wed Dec 16 14:10:46 EST 2015
Docs: Enhance contrast and increase font-weight Also replace 'Courier New' with newer monospace fonts, and make font in main text slightly smaller to better fit smaller screen. See #1678.
--- a/docs/static/css/bootstrap-theme.css
+++ b/docs/static/css/bootstrap-theme.css
@@ -66,7 +66,7 @@
kbd,
pre,
samp {
- font-family: monospace, serif;
+ font-family: Menlo, Consolas, 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Lucida Console', Monaco, 'Droid Sans Mono', monospace;
font-size: 1em;
}
pre {
@@ -360,10 +360,6 @@
margin-bottom: 20px;
font-style: normal;
line-height: 1.428571429;
-}
-code,
-pre {
- font-family: Lato;
}
code {
padding: 2px 4px;
--- a/docs/static/css/style.css
+++ b/docs/static/css/style.css
@@ -91,8 +91,8 @@
}
pre code {
- font-size: 18px !important;
- font-family: 'Courier New', monospace;
+ font-size: 15px !important;
+ font-family: Menlo, Consolas, 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Lucida Console', Monaco, 'Droid Sans Mono', monospace;
}
body {
@@ -101,12 +101,12 @@
font-family: 'Lato', sans-serif;
padding: 0px !important;
margin: 0px !important;
- font-size:16px !important;
- font-weight: 300;
+ font-size: 16px !important;
+ font-weight: 400;
}
-h1,h2,h3,h4,h5{
- font-weight: 400;
+h2,h3,h4,h5{
+ font-weight: 700;
}
@@ -119,7 +119,7 @@
}
label{
- font-weight: 300;
+ font-weight: 400;
}
.sidebar-menu .fa {
@@ -220,7 +220,7 @@
-o-transition: all 0.3s ease;
-ms-transition: all 0.3s ease;
transition: all 0.3s ease;
- color: #737B83;
+ color: #656C73;
font-size: 14px;
}
@@ -248,12 +248,12 @@
}
ul.sidebar-menu li a{
- color: #8b9199;
+ color: #72767D;
text-decoration: none;
display: block;
padding: 10px 0 10px 10px;
font-size: 16px;
- font-weight: 300;
+ font-weight: 400;
outline: none;
-webkit-transition: all 0.3s ease;
-moz-transition: all 0.3s ease;
@@ -316,7 +316,7 @@
#main-content {
margin-left: 200px;
line-height: 1.8;
- font-size: 19px;
+ font-size: 18px;
}
.header {
@@ -346,7 +346,7 @@
a.logo {
font-size: 22px;
- font-weight: 300;
+ font-weight: 400;
color: #8E8E93;
float: left;
margin-top: 10px;