Commit c43836d181

Restore the docs favicon lost in a merge

Both sides of #17 edited the same four lines of the documentation layout's
`<head>`: one added a favicon link above the stylesheet, the other moved the
stylesheet below `theme.css` so its `--orgo-*` overrides win. Resolving that
kept the stylesheet in both positions and dropped the favicon line entirely.

So every docs page has linked `style.css` twice since the merge, and none has
linked the favicon at all — `favicon.svg` still ships as an asset with nothing
pointing at it, which is the state the branch that added it set out to fix.

The head is now icon, then `theme.css`, then `syntax.css`, then `style.css`,
which is the order the overrides need: the theme first, the highlighter's
colours over it, the site's three `--orgo-code-*` properties last.

Layout: unified · split