I've come across these cool animated code editor UI components on many companies landing pages.<p>See for example https://stripe.com/<p>How are these created? Are there any tools that allow these to be animated components to be created?<p>Thanks in advance