diff options
| author | Joe Mou <dev@mou.fo> | 2026-01-28 14:40:22 -0500 |
|---|---|---|
| committer | Joe Mou <dev@mou.fo> | 2026-01-28 15:23:40 -0500 |
| commit | 71442a856d2180c68a51a1db480514d611137bd0 (patch) | |
| tree | 9352072449107902f4a5358da93f452e6825a2ec /cgithub/static | |
| parent | 89a771538a6a673de7cfe658b1db028acdfa0e44 (diff) | |
Syntax highlighting
Sometimes GitHub returns colorizedLines and sometimes it returns a
terser stylingDirectives, which needs to be applied to rawLines.
Diffstat (limited to 'cgithub/static')
| -rw-r--r-- | cgithub/static/style.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/cgithub/static/style.css b/cgithub/static/style.css index 1efbb12..2020dc2 100644 --- a/cgithub/static/style.css +++ b/cgithub/static/style.css @@ -25,6 +25,14 @@ oklch(50% 0.15 250), oklch(60% 0.15 250) ); + + --pl-c: light-dark(#6e7781, #8b949e); + --pl-c1: light-dark(#0550ae, #79c0ff); + --pl-e: light-dark(#6639ba, #d2a8ff); + --pl-en: light-dark(#0550ae, #d2a8ff); + --pl-k: light-dark(#cf222e, #ff7b72); + --pl-s: light-dark(#0a3069, #a5d6ff); + --pl-v: light-dark(#953800, #ffa657); } body { @@ -174,3 +182,17 @@ pre.box { svg.octicon-link { display: none; } + +.pl-c { color: var(--pl-c); } +.pl-c1 { color: var(--pl-c1); } +.pl-e { color: var(--pl-e); } +.pl-en { color: var(--pl-en); } +.pl-k { color: var(--pl-k); } +.pl-s { color: var(--pl-s); } +.pl-v { color: var(--pl-v); } +.pl-ent { color: var(--pl-k); } +.pl-mh { font-weight: bold; color: var(--pl-en); } +.pl-bu { color: var(--pl-k); } +.pl-ii { color: var(--text-color); background-color: var(--pl-k); } +.pl-pds { color: var(--pl-s); } +.pl-smi { color: var(--text-color); } |
