Fix a couple of minor bugs in fontification
tree0f3247e9d80ca1b98207afe168f8c28788cb35dd
-rw-r--r-- 6 .gitignore
-rw-r--r-- 17993 COPYING
-rw-r--r-- 680 README
drwxr-xr-x - bin
drwxr-xr-x - lib