{# Keep the theme's async banner container so version warnings still work. #} {% set cite_href = 'cite.html' if pagename == 'cite' else pathto('cite') %}