Lighten color of non-highlighted <pre> text
Use timestamp: vs. alias: in front-matter
Move <title> element to top of <head>
Remove alias metadata from documents in _layouts

This avoids the values in the layout overriding the value in the actual
document being rendered.
Move stylesheet links to bottom of <head>
Add <link rel="shortlink"> elements to <head>

See https://code.google.com/p/shortlink/wiki/Specification
Add site.shorturl to _config-local.yml
Narrow 'list-style: none' to <li>s within <ul>s
Add notes/_posts/2014-07-14-hausaufgabe-14-juli.md