A clean, shareable, and efficient DSL for typesetting technical documents.