slightly nicer latex options for documentation