Docs: More jQuery UI theme tweaks