Added a feature to switch betweeen main and alt font in syntax