Minor improvements in documentation.

Improvements:

- new lines between sections
- better filenames in examples
- improved wording for themes
- reordered URL settings.

Nothing was removed.

(Ported #1351 to latest master.)