Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-12-13 | Restyle headings | Daniel Schadt | |
This patch tries to add a second font to the mix which is used for headings. It gives a bit more visual distinction between the body and the headings. In addition, there's now a style for h3 elements. In the process, the style got revamped a bit, as the selectors were a bit messy. |