/* Optional custom overrides for sphinx_rtd_theme. */