/* Thai is rendered with the system font — see --thai in style.css */
