More CSS tweaks for the doc