m.htmlsanity: add dehyphenate filter and use it straight away.

m.htmlsanity: produce ­ instead of U+00AD in the hyphenate filter.

Makes the result easier to spot in the resulting HTML code.

Minor README update.

env --chdir

theme: proper jumbo article header splitting.

theme: support large Twitter cards.

css: remove stupid defaults for <pre>.

css: better full-width for the <pre> tag.

Content-box sizing only makes problems.

css: superfluous semicolon.

css: use proper gradient background for jumbo articles.

theme: consistent padding for (jumbo) articles.

css: make padding consistent.

theme: partial fix for the misaligned navbar hamburger icon.

There's still some misalignment in total (left and right border of the
menu items is not on the same line as left and right border of the
text), but that needs a bigger change later.

htmlsanity: render figure captions as <figcaption>.

css: styling for HTML5 <figure> tag.

css: introduce flat blocks.

I just needed to have the .m-flat used somewhere to justify using it for
figures later.

css: image grid borders should have proper color based on style.

css: make text alignment work properly with .m-noindent.

theme: more indentation/whitespace fixes.

theme: indenting content is *wrong*.

Because the indentation (obviously) affects stuff inside <pre> tags. All
page/article content is now unindented and wrapped in a HTML comment to
make it better visible in the source.

I don't expect article summaries to have <pre> tags inside, so that's a
non-issue.

theme: make the output pretty indented.

There will be a minifier step later anyway, but this helps debugging
(and my OCD) a lot.

plugins: strip whitespace from render_rst filter output.

plugins: added .gitignore.

theme: use different setting for feed URLs.

Initial README.

plugins: reST directive for linking to Doxygen docs.

plugins: reST directives for image and image grid.

plugins: reST roles for linking to GL symbols and extensions.

plugins: reST roles for linking to GitHub articles.

plugins: reST directives for m.css note/block/frame components.

css: initial dark version of Pygments style.

Initial version of the Pelican theme.

Initial version of m.css grid and components, in two styles.

htmlsanity: Jinja2 filter for hyphenation.

htmlsanity: hyphenation implementation.

htmlsanity: smart quotes implementation.

htmlsanity: ability to render reST via Jinja2 filter.

Initial version of Pelican HTML sanity plugin.

This is needed by basically everything else, so it comes first.

Initial commit.

New address book: Postscript

New address book

chiark supports HTTPS now

The sad tale of CVE-2015-1336

Add some schema.org metadata

add apt tag to no-more-hash-sum-mismatch-errors

credit mvo

No more "Hash Sum Mismatch" errors

clarify timings

Re-signing PPAs

SSH SHA-2 support in Twisted

Update link to "bzr shelve" example

Update links to code now hosted in git rather than bzr

inline screenshot

chase redirections

Fix excessive escaping properly this time

Fix excessive escaping

Convert to Pelican

Moving on, but not too far

Porting GHC: A Tale of Two Architectures

Testing wanted: GRUB 2.02~beta2 Debian/Ubuntu packages

another link

Automatic installability checking

OpenSSH 6.0p1

libpipeline 1.2.1 released

APT resolver bugs

Quality in Ubuntu 12.04 LTS

Top ideas on Ubuntu Brainstorm (August 2011)

man-db 2.6.0

more credit

mention -snapshot, thanks Tollef

Wubi bug 693671

grammar

libpipeline 1.1.0 released

less vague

link to TimeAndDate redesign

NTP synchronisation problems

fix filename

man-db on Fedora

libpipeline 1.0.0 released

Pipeline library

Windows applications making GRUB 2 unbootable

add graph

debhelper statistics, redux

GRUB 2: With luck ...

remove some sidebar cruft

GRUB 2 boot problems

extra credit

Hacking on grub2

OpenSSH 5.5p1 for Lucid

adjust article heading style

typo

Thoughts on 3.0 (quilt) format

parted 2.2 transition

debhelper statistics

Catching up

typo

fix extension, minor edit

Tissue of lies

Keysigning bits

man-db: 'man -K'