header: no TeX ligatures for mono font
git, make: graph fixes
texttt fixes
\coloneq and \propto are now in Latin Modern Math