Styling and minor documentation tweaks