Fix splash in Dash docset.
Dash docset: tweak page padding.
Tweak list of languages for Highlight.js.