diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-22 00:44:15 +0300 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-22 00:45:55 +0300 |
commit | 284cfebe31950a668b0b9ae23e3148e9b87a96df (patch) | |
tree | 4c00d9bf247494c9fb614752f29b6b6180fe3da8 /src | |
parent | c35800e5c07e1e8a05e2d231f5d20451c63acfa8 (diff) |
Improve the font stack used on the website
- Use a modern system font stack as used by Bootstrap 4.
- Replace light font weights with normal font weights, as these are
easier to read.
- Remove the use of the Proxima Nova font as it's not installed
on all systems. Loading it as a web font would slow down page loading,
so it's probably not a good idea if it's only used rarely.
Diffstat (limited to 'src')
5 files changed, 1 insertions, 10 deletions
diff --git a/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less b/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less index fa80a38c6..970852dce 100644 --- a/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less +++ b/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less @@ -18,7 +18,6 @@ p { margin-bottom: (@jumbotron-padding / 2); font-size: @jumbotron-font-size; - font-weight: 200; } > hr { diff --git a/src/doc/assets/less/bootstrap-3.3.5/type.less b/src/doc/assets/less/bootstrap-3.3.5/type.less index 0d4fee484..9613ddde1 100644 --- a/src/doc/assets/less/bootstrap-3.3.5/type.less +++ b/src/doc/assets/less/bootstrap-3.3.5/type.less @@ -62,7 +62,6 @@ p { .lead { margin-bottom: @line-height-computed; font-size: floor((@font-size-base * 1.15)); - font-weight: 300; line-height: 1.4; @media (min-width: @screen-sm-min) { diff --git a/src/doc/assets/less/site/bootstrap/jumbotron.less b/src/doc/assets/less/site/bootstrap/jumbotron.less index a04420b72..9ce1da060 100644 --- a/src/doc/assets/less/site/bootstrap/jumbotron.less +++ b/src/doc/assets/less/site/bootstrap/jumbotron.less @@ -13,12 +13,10 @@ margin: 0 0 15px; } p { - font-family: @font-family-alt; margin-top: 15px; margin-bottom: 15px; font-size: 24px; line-height: 1.3; - font-weight: lighter; } .list-group-item { diff --git a/src/doc/assets/less/site/bootstrap/type.less b/src/doc/assets/less/site/bootstrap/type.less index b7d5f9b03..22a3a5079 100644 --- a/src/doc/assets/less/site/bootstrap/type.less +++ b/src/doc/assets/less/site/bootstrap/type.less @@ -1,7 +1,3 @@ -.small-caps { - font-family: @font-family-alt; -} - .hr { position: relative; text-align: center; diff --git a/src/doc/assets/less/site/bootstrap/variables.less b/src/doc/assets/less/site/bootstrap/variables.less index 98b7f1bd8..79ed1077c 100644 --- a/src/doc/assets/less/site/bootstrap/variables.less +++ b/src/doc/assets/less/site/bootstrap/variables.less @@ -49,7 +49,6 @@ @fa-green-dark: darken(@fa-green, 10%); @jumbotron-border: mix(@fa-green, @fa-green-dark, 75%); -@font-family-alt: proxima-nova-sc, "Helvetica Neue", Helvetica, Arial, sans-serif; // BOOTSTRAP OVERRIDES @@ -65,7 +64,7 @@ // Typography -@font-family-sans-serif: proxima-nova, "Helvetica Neue", Helvetica, Arial, sans-serif; +@font-family-sans-serif: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; @font-family-serif: museo-slab, Georgia, "Times New Roman", Times, serif; @headings-font-family: @font-family-serif; |