haiku/docs/interface_guidelines/haiku.css
Humdinger 945566ff43 Switch from DejaVu to Noto font
As discussed, Noto renders much better with freetype 2.7 [1].
The DejaVu package is still in the HaikuPorts repo and can be installed
manually just like all the other available fonts.

[1] http://www.freelists.org/post/haiku-development/freetype-update-from-265-to-27
2016-11-27 19:04:26 +01:00

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: "Noto Sans", Arial, sans-serif;
color: #333333;
}
cmdsynopsis, code, command, computeroutput, envar, filename, keycode, keysym,
literal, option, parameter, sgmltag, systemitem {
font-family: "Noto 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;
}