| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Thu, 06 Apr 2017 13:33:01 GMT
access-control-allow-origin: *
etag: W/"58e6438d-16cc"
expires: Thu, 31 Jul 2025 02:23:11 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: E0E2:F2AF8:F5A3:173DC:688AD135
accept-ranges: bytes
age: 0
date: Thu, 31 Jul 2025 02:13:11 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210080-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1753927991.948064,VS0,VE224
vary: Accept-Encoding
x-fastly-request-id: 135756ec1c66d28b69a80f3b1301585fa6ad64e0
content-length: 1407
pygments-css by richleland
pygments-css
css files created from pygment's built-in styles
pygments-css
Pygments, a Python-based code highlighting tool, comes with a set of builtin styles (not css files) for code highlighting. You have to generate a CSS file using the command line. You can generate these yourself, but this git repository has already generated them for you.
These css files were generated using pygmentize on the command line like so:
pygmentize -S default -f html -a .highlight > default.cssYou can remove or change the top-level class by removing or modifying -a .highlight in the makefile.
To regenerate them all with whichever pygments version you are using, run:
git clone
cd pygments-css
make cssfiles