Use Latin Modern font family for the manual.