panr 7dc8e16a58 separate terminal theme styles from terminal.css ...

Terminal.css styles only can change the color scheme.

2025-03-03 11:11:51 +01:00

..

css

separate terminal theme styles from terminal.css

2025-03-03 11:11:51 +01:00

js

revamp code highlighting

2025-02-28 15:14:45 +01:00