This is the revision history for css margin: http://w3.org/tr/css21/box.html in <discord.gg:#413390663502135296>