Use T1 fontencoding

Fixes \coq{} in bold font.
Fix subtitle