web/explain: give more room for margin when adjusting font size