Reset to default. A feature to suggest might be a command switch for arguments to pass to Pygments' HTML formatter.