DOC: css tweaks to sphinx theme