| Commit message (Collapse) | Author | Age | Lines |
|---|
| |
|
|
|
|
| |
Currently, --font-mono is only applied to <pre> blocks, leaving <code>
unstyled. Since <pre> blocks will end up containing <code>, set the font
family on <code> instead.
|
| |
|
|
|
| |
Due to the density of the fonts used, <code> blocks tend to be too close
to the normal text. Add some padding to mitigate.
|
| | |
|
| |
|
|
| |
This way we do not have to specify the color in its selector.
|
| |
|
|
|
|
|
|
|
|
|
| |
Post titles are currently only visible in the feed, or on the post page
itself. Since people may remember posts by their titles rather than
their number, display the titles on each post's banner as well for
easier searching. This means we can now get rid of the extra item in the
post page's description.
A neat side effect is that we now have a header element for each
<article>, making W3C a bit happier.
|
| |
|
