Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2025-01-27 20:25:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

Restore DejaVu Sans Condensed font.

Browse source 
With font-strentch: condensed, the rendering is acceptable.
This commit is contained in:
Konrad Borowski 2014-09-23 12:27:06 +02:00
parent 8d3d51a020
commit 2726712e01
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
doc_src/user_doc.css
View file

@ -21,7 +21,8 @@ body {
} }
/*Top site index*/ /*Top site index*/
.qindex { .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; border: none;
color: white; color: white;
text-align: center; text-align: center;
@ -43,7 +44,8 @@ body {
bottom: 0; bottom: 0;
overflow-y: scroll; overflow-y: scroll;
-webkit-overflow-scrolling: touch; /* necessary for momentum scrolling */ -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 { .fish_left_bar {
width: 25rem; width: 25rem;
@ -101,7 +103,8 @@ a { color: #3d5cb3; }
p { margin: 1rem 0; } p { margin: 1rem 0; }
h1, h2, h3, h4, h5, h6 { h1, h2, h3, h4, h5, h6 {
color: #1f2d53; 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 { h1 {
margin: 1.6rem 0 1rem 0; margin: 1.6rem 0 1rem 0;