Same thing here? Aren't these needed or is that covered by the ``html_theme_options`` above?