Tweaks to the documentation CSS