m.gh: shorten the commit link title to 7 chars of the SHA-1.

m.gl: fix link target of :glfn:.

theme: various updates.

Fixed code indentation on a bunch of places, got rid of TAGCLOUD_LEVELS
as the style had it hardcoded anyway, adapted to padding changes in the
CSS style.

css: remove top/bottom padding of .m-container, make it more flexible.

Updated padding of other elements accordingly, added new .m-nopad*
classes to make things easier for the templates.

css: fix article section highlighting for some components.

 * Non-inflated code blocks were mistakenly inflated in highlighted
   sections. Code blocks with additional classes were not inflated by
   mistake.
 * The content of blocks, frames and notes is now properly padded to
   align with the rest of the page and doesn't jump on highlight.
 * Inflated notes now have their left border colored when highlighted.

css: coloring also for <th> elements.

css: compress the code a bit, finish the doc comment.

css: code reordering.

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

m.htmlsanity: produce &shy; instead of U+00AD in the hyphenate filter.

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

Minor README update.

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.