Release 0.5.2

0.5.2

4 September 2022

Commits:

• 🎨 hover editor; modals; color tweaks b626ae9
• 🎨 ✨ Colors and stacked tabs f00f93e
• 🎨 Simplify graph view css 23ffd45
• 🎨 rotated tab colors 05bbfe1
• ✨ Setting to hide headings used to embed contents 72c69b5
• 🔧 Create/Auto-update manifest.json 8588837
• 🔧 Local build e3058f2
• 🎨 strong+em text color in light mode 4cbb7ef