Remove extra CSS bottom padding in HTML-rendered Dex. (#445)
Remove extra CSS bottom padding in HTML-rendered Dex. (#445)

The bottom padding adds unnecessary empty bottom scrolling,
which slightly hurts UX.
google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang