Separate library code from documentation more visibly

Without this, documentation that ends with an example has two
code blocks directly following each other, which can be confusing
to read.
Autocommit: libraries changed 2014-01-12-10:32:42