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