First of all, thank you so much for your great work on Vivliostyle! It's an amazing tool that makes high-quality web-based typesetting possible. I'm using Vivliostyle.js on mobile platforms and came ...