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.