htmlize with line numbers