Add plugin for global pygments options
Update CSS for pretty line numbers (finally)
Remove pygments options