| Commit message (Collapse) | Author | Age | Lines |
|---|
| |
|
|
|
| |
This further increases the space available for text and makes the logo a
lot less dominant.
|
| |
|
|
|
|
|
| |
This reverts commit f99133842b48dc7d99e577df37e34ea143f1eeaf. We have
found this solution to introduce other (worse) problems because the
padding is unconditional. For now do not apply any special style to
<code>.
|
| |
|
|
|
| |
These elements overflow on smaller screens, so make sure that they're
getting scrollbars.
|
| | |
|
| |
|
|
|
|
| |
This removes a branch from the template and also makes sure that screen
readers and similar software still get access to the post title even if
we want to hide it on the presentational layer.
|
| |
|
|
| |
This improves the readability and consistency of the CSS.
|
| |
|
|
|
|
| |
Users with narrow displays currently have to deal with post banners that
do not collapse nicely. This commit adds some padding to the tag list
and hides the post time on smaller resolutions.
|
| |
|
|
| |
This feature was only used once for testing.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Currently, we pad certain elements with manual interpunct spacers that
are defined in the templates themselves. This is suboptimal for a number
of reasons. Templates should be used for textual or semantic data, not
presentation. Additionally, we have no good control over how whitespace
characters will end up being rendered. Adding or deleting spacers is a
nightmare.
To fix this, use CSS to render spacers instead. To that end, introduce a
couple of HTML elements in the top banner and keep supplementary links
in a list inside a <nav> element. Add a spacer mixin that can be applied
to any element that needs it.
|
| |
|
|
|
|
| |
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.
|
| |
|
