New to sphinx & alabaster - sorry if this is a silly question. I'm looking for a way to use a shorter title in the navigation bar - my long title doesn't fit nicely there.

From what I've experimented with so far, it seems that the navigation page title is hardcoded to use the value of project_title - and ignores both html_title and html_short_title. I was hoping there might be an alabaster option (or generic theme option alabaster respects) somewhere that would let me do something like:

# set the title used in the navigation bar to html_short_title instead of project_title
html_theme_title = html_short_title

Any suggestions?