diff options
| author |  Mark Griffiths <mark@thebespokepixel.com> | 2014-09-23 12:14:20 +0100 |
|---|---|---|
| committer | Mark Griffiths <mark@thebespokepixel.com> | 2014-09-23 12:14:20 +0100 |
| commit | a9b7e4582f84efb152ab00bd407305f94aa4bb2c (patch) | |
| tree | f4befb012247338f3b93ba582c5baf1dbe9a4502 /doc_src/user_doc.css | |
| parent | 2726712e01f2ca254bd46deb5bd27cd417fca158 (diff) | |
Clean up font declarations
re: fish-shell/fish-shell@2726712e01f2ca254bd46deb5bd27cd417fca158
As this is rendering ok in Firefox, this version should pickup the best
fonts for most browser/os variants based on 'font-stretch' support.
`.fish_left_bar` should be condensed, the main body font shouldn't.
Diffstat (limited to 'doc_src/user_doc.css')
| -rw-r--r-- | doc_src/user_doc.css | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css index b346de54..ba1362e2 100644 --- a/doc_src/user_doc.css +++ b/doc_src/user_doc.css @@ -44,13 +44,13 @@ body { bottom: 0; overflow-y: scroll; -webkit-overflow-scrolling: touch; /* necessary for momentum scrolling */ - font: 400 1.3rem/2.1rem DejaVuSansCondensed, "DejaVu Sans", Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; - font-stretch: condensed; + font: 400 1.3rem/2.1rem "DejaVu Sans", Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; } .fish_left_bar { width: 25rem; color: white; - font-family: DejaVuSans, Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; + font-family: DejaVuSansCondensed, "DejaVu Sans", Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; + font-stretch: condensed; background-color: #1f2d53; } .fish_right_bar { @@ -103,7 +103,7 @@ a { color: #3d5cb3; } p { margin: 1rem 0; } h1, h2, h3, h4, h5, h6 { color: #1f2d53; - font-family: DejaVuSansCondensed, DejaVuSans, Roboto, "Lucida Grande", Calibri, Verdana, sans-serif; + font-family: DejaVuSansCondensed-Bold, "DejaVu Sans", Roboto, "Lucida Grande", Calibri, Verdana, sans-serif; font-stretch: condensed; } h1 { |