Formatting

• 2025 Feb 27 Formatting metapost labels
• 2020 Jul 25 Adjust spacing in itemize environments
• 2019 Sep 09 Formatting numbers in Lua
• 2012 Nov 18 Separation of content and presentation in tables