[css-box-3] Strip down to just defining margins, paddings, and various box model terminology. Resync to CSS2.1. <https://lists.w3.org/Archives/Public/www-style/2018Jul/0020.html>

Author: fantasai