From 2726712e01f2ca254bd46deb5bd27cd417fca158 Mon Sep 17 00:00:00 2001 From: Konrad Borowski Date: Tue, 23 Sep 2014 12:27:06 +0200 Subject: Restore DejaVu Sans Condensed font. With font-strentch: condensed, the rendering is acceptable. --- doc_src/user_doc.css | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/doc_src/user_doc.css b/doc_src/user_doc.css index 2861c2a9..b346de54 100644 --- a/doc_src/user_doc.css +++ b/doc_src/user_doc.css @@ -21,7 +21,8 @@ body { } /*Top site index*/ .qindex { - font: 500 1.4rem/3.6rem DejaVuSans, Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; + font: 500 1.4rem/3.6rem DejaVuSansCondensed, "DejaVu Sans", Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; + font-stretch: condensed; border: none; color: white; text-align: center; @@ -43,7 +44,8 @@ body { bottom: 0; overflow-y: scroll; -webkit-overflow-scrolling: touch; /* necessary for momentum scrolling */ - font: 400 1.3rem/2.1rem DejaVuSans, Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; + font: 400 1.3rem/2.1rem DejaVuSansCondensed, "DejaVu Sans", Roboto, "Lucida Grande", Calibri, Verdana, "Helvetica Neue", Helvetica, Arial, sans-serif; + font-stretch: condensed; } .fish_left_bar { width: 25rem; @@ -101,7 +103,8 @@ a { color: #3d5cb3; } p { margin: 1rem 0; } h1, h2, h3, h4, h5, h6 { color: #1f2d53; - font-family: DejaVuSans, Roboto, "Lucida Grande", Calibri, Verdana, sans-serif; + font-family: DejaVuSansCondensed, DejaVuSans, Roboto, "Lucida Grande", Calibri, Verdana, sans-serif; + font-stretch: condensed; } h1 { margin: 1.6rem 0 1rem 0; -- cgit v1.2.3