Prettified examples and Doc appearance.