# dotLottie > Package multiple animations, assets, themes, and interactive state machines into one open, compressed file that plays everywhere. ## Table of Contents - [dotLottie: The production format for Lottie](index.md): Package multiple animations, assets, themes, and interactive state machines into one open, compressed file that plays everywhere. - [Overview](intro/index.md): Lottie is a lightweight, JSON-based animation format used to deliver high-quality motion across web, desktop, and mobile applications. It gives designers and developers a practical way to ship… - [Specification](spec/index.md): Welcome to the official documentation for the dotLottie Animation Format. This manual contains formal specification and documentation for the dotLottie file format, offering insights into its… - [dotLottie v1.0 Specification](spec/1.0/index.md): dotLottie is an open-source file format designed to package one or more Lottie animations along with their associated resources, such as images, into a single, compressed file. A dotLottie file is a… - [dotLottie v2.0 Specification](spec/2.0/index.md): dotLottie is an open-source file format designed to package one or more Lottie animations along with their associated resources, such as images, themes, state machines, into a single, compressed… - [Tools](tools/index.md): The following players allow you to easily integrate dotLottie animations and use their features into your applications. - @lottiefiles/dotlottie-web - JavaScript web player -…