Twiddle font sizes to try to support high DPI better.

This commit is contained in:
Martin Taillefer 2017-05-09 23:59:38 -07:00
parent 9ddf91398f
commit 70ee2b9c3f
8 changed files with 13 additions and 18 deletions

View File

@ -90,7 +90,7 @@ th {
// Tabs are tabby
.ui-widget-content {
font-size:14px !important;
font-size: $font-size--primary !important;
font-family: "Roboto", "Helvetica Neue", Helvetica, Arial, sans-serif !important;
color: $textColor !important;
}

View File

@ -1,5 +1,5 @@
// Font
$font-size--primary : 16px;
$font-size--primary : 1rem;
$font-size--xxs : .8rem;
$font-size--xs : 1rem;
$font-size--s : 1.15rem;

View File

@ -58,8 +58,6 @@
// Section Headlines
h3 {
color: $dark-gray;
font-size: 18px;
font-weight: 300;
letter-spacing: 1px;
margin-bottom: 20px;
margin-top: 30px;
@ -68,8 +66,6 @@
// Section Subheadlines
h4 {
margin: 30px 0 20px;
font-size: 16px;
font-weight: 300;
color: $dark-gray;
// Text immediately following h4 should have same level of indention

View File

@ -49,7 +49,7 @@ p.note code {
code {
color: $codeColor;
background-color: $inverseBrandColor;
font-size: 14px;
font-size: $font-size--primary;
}
pre, pre.prettyprint {
@ -97,7 +97,3 @@ pre code {
.navbar-toggle .icon-bar {
background-color: $inverseBrandColor;
}

View File

@ -1,6 +1,6 @@
h1 {
font-size: $font-size--xxl;
color: white;
color: $secondBrandColor;
margin: $spacing--xl 0;
}
@ -41,6 +41,6 @@ p {
}
p.lead {
font-size: 17px;
font-size: $font-size--m;
font-weight: 400;
}

View File

@ -11,7 +11,7 @@
cursor: pointer;
border: none;
border-radius: 4px;
font-size: 10px;
font-size: $font-size--xs;
font-weight: 500;
padding: 0px 6px 0px 6px;
color: #795548;

View File

@ -1,7 +1,10 @@
.faq {
h4 {
font-size: 110%;
margin: 0px;
a {
font-weight: 400;
}
}
.panel-body {

View File

@ -38,7 +38,7 @@
border-radius: 4px;
color: $secondBrandColor;
font-weight: 500;
font-size: 14px;
font-size: $font-size--primary;
}
}