This looks great! Nice work figuring out how conf.py works even though I didn't document it.
Could you make one change before I merge this PR? I'd prefer if you used overrides['show_download_top_hits_button'] = False instead of overrides['hidden_download_top_hits_button'] = True. And likewise, use def should_show_download_top_hits_button() instead of def is_hidden_download_top_hits_button(). I get confused by all the double negatives.
This looks great! Nice work figuring out how
conf.py
works even though I didn't document it.Could you make one change before I merge this PR? I'd prefer if you used
overrides['show_download_top_hits_button'] = False
instead ofoverrides['hidden_download_top_hits_button'] = True
. And likewise, usedef should_show_download_top_hits_button()
instead ofdef is_hidden_download_top_hits_button()
. I get confused by all the double negatives.