2423ba8470
This reverts commit 945566ff43.
As discussed on the mailing lists and with Humdinger off-list:
* The general design concensus tends slightly towards DejaVu, as metrics
of DejaVu look much better (DejaVu 12 and Noto 13 are roughly the same size,
but Noto has much wider margins with that)
* While Noto does have a wider set of fonts with support for lots of
different languages, DejaVu actually has built-in support for more
Unicode languages (the default Noto has, as far as I can tell, only
Latin/Greek/Cyrillic [2416 glyphs], while DejaVu also has Armenian, Georgian,
and a few other scripts too [5119 glyphs].)
* The worse rendering of DejaVu appears to have been somewhat rectified by
disabling the average-based subpixel filter in app_server.
52 lines
1.1 KiB
CSS
52 lines
1.1 KiB
CSS
/*
|
|
* Copyright 2016 Haiku, Inc. All rights reserved.
|
|
* Distributed under the terms of the MIT License.
|
|
*
|
|
* Authors:
|
|
* Augustin Cavalier <waddlesplash>
|
|
*/
|
|
|
|
*, title {
|
|
font-family: "DejaVu Sans", Arial, sans-serif;
|
|
color: #333333;
|
|
}
|
|
cmdsynopsis, code, command, computeroutput, envar, filename, keycode, keysym,
|
|
literal, option, parameter, sgmltag, systemitem {
|
|
font-family: "Deja Vu Mono", Courier, "Courier New", monospace, fixed;
|
|
}
|
|
term {
|
|
font-weight: bold;
|
|
}
|
|
|
|
chapter, appendix {
|
|
max-width: 849.6px;
|
|
margin: 10px auto;
|
|
align-content: center !important;
|
|
}
|
|
chapter:first-of-type {
|
|
margin-top: 0 !important;
|
|
}
|
|
chapter title, appendix title {
|
|
font-size: 22px !important;
|
|
}
|
|
sect1 title {
|
|
font-size: 18px !important;
|
|
font-weight: unset;
|
|
}
|
|
title {
|
|
color: #0c3762;
|
|
font-weight: bold;
|
|
border-bottom: dotted thin #c0c0c0;
|
|
margin-top: 13px !important;
|
|
margin-bottom: 13px !important;
|
|
text-align: left !important;
|
|
}
|
|
para {
|
|
margin-top: 0.5em !important;
|
|
margin-bottom: 0.5em !important;
|
|
margin-left: 0 !important;
|
|
margin-right: 0 !important;
|
|
font-size: 14.4px;
|
|
line-height: 21.6px !important;
|
|
}
|