armbian/hastebin-ansi
0
0
Fork 0
mirror of https://github.com/armbian/hastebin-ansi.git synced 2026-01-06 12:30:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
441 Commits 6 Branches 0 Tags
dcd271438e96cfdfe2a95b84637035d19e205479
Commit Graph

121 Commits

Author SHA1 Message Date
M. Efe Çetin
1d8c71b461 add solarized theme used by paste.armbian.com 2025-03-03 13:35:56 +03:00
Ricardo Pardini
1b9e956042 0.0.8 2024-07-01 23:53:44 +02:00
Ricardo Pardini
aa16480a8c 0.0.7 2023-06-06 19:40:45 +02:00
Ricardo Pardini
226393e288 rework colors, eg: yellow is not orange 2023-06-06 19:40:30 +02:00
Ricardo Pardini
dc5b3c2062 0.0.6: html escaping, Fira Code font, disable ANSI backgrounds 2023-06-05 22:19:49 +02:00
Ricardo Pardini
cc51f529ca fix HTML escaping, d'uh 2023-06-05 22:15:45 +02:00
Ricardo Pardini
15caf3516c disable ANSI background colors (hack fix for Rich stuff) 2023-06-05 21:20:44 +02:00
Ricardo Pardini
7a5505294c back to Fira Code (for table correctness) 2023-06-05 21:18:55 +02:00
Ricardo Pardini
145ffc0858 add anchors to line numbers (#l500) 2023-03-17 08:15:31 -03:00
Ricardo Pardini
9d791ec93b bring back the buttons -- turns out they're useful? 2023-03-17 08:02:53 -03:00
Ricardo Pardini
8458b20fdc Use Google Fonts for regular and bold 2023-01-21 18:23:10 +01:00
Ricardo Pardini
b449f92d33 Fira Code -> JetBrains Mono 2023-01-21 14:29:26 +01:00
Ricardo Pardini
ce02f1b0be here's where the bold is... 2023-01-21 14:29:26 +01:00
Ricardo Pardini
577b4b41ec just ANSI, man. 2023-01-21 14:29:26 +01:00
Ricardo Pardini
d948072f33 use Fira Code; hammer CSS to match; hammer colors not be too dark 2023-01-21 14:29:26 +01:00
Ricardo Pardini
d1eec6db33 hammer ANSI for Armbian build logs 2023-01-21 14:29:26 +01:00
Ricardo Pardini
dac363442f some basic hygiene before I can hack 2023-01-21 14:29:26 +01:00
John Crepezzi
f3b0de745b Merge pull request #200 from kevinhaendel/master 
Added "user-select" option to line numbers & messages
 2020-10-06 01:21:16 -04:00
John Crepezzi
6853d077e7 Merge branch 'master' into fix-content-type 2020-10-06 01:18:22 -04:00
John Crepezzi
181a3a2bfa Use the now-separate json mode for json highlighting 
Closes #267
 2020-10-06 00:36:41 -04:00
John Crepezzi
1ba025328d Update highlight JS to the most recent version 2020-10-06 00:07:07 -04:00
epdn
f6084b4339 remove 1px margin from textarea, fixes useless scrollbar 2020-05-18 09:34:57 +01:00
John Crepezzi
b866c33c93 Merge pull request #173 from sebastiansterk/master 
removed padding for #box for correct view
 2019-04-05 17:30:42 -04:00
Mikołaj Pich
035cf0e91e Fix content type 2018-12-22 15:11:37 +01:00
Kevin Händel
16d529e935 Added "user-select" option to line numbers & messages 
This prevents copying unnecessary text after selecting it via Ctrl + A
 2018-02-11 00:35:27 +01:00