Manually patch the css file; hoping to fix ugly page rendering in dist code.