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