15 commits

Author	SHA1	Message	Date
ed	263adec70a	add support for custom fonts; closes #74	2024-02-24 23:30:17 +00:00
ed	1f3c46a6b0	forgot some css files	2022-04-15 17:11:46 +02:00
ed	da5f15a778	move general markdown to ui.css	2021-09-05 21:42:41 +02:00
ed	fc49cb1e67	add js repl	2021-08-30 01:09:27 +02:00
ed	ee86b06676	compat + perf + ux	2021-08-08 04:02:58 +02:00
ed	c9c3302664	a	2021-04-24 19:22:15 +02:00
ed	69d3359e47	lots of stuff: ... * show per-connection and per-transfer speeds * support multiple cookies in parser * set SameSite=Lax * restore macos support in sfx.sh * md-editor: add mojibake/unicode hunter * md-editor: add table formatter * md-editor: make bold bolder * md-editor: more hotkeys * md-editor: fix saving in fancy * md-editor: fix eof-scrolling in chrome * md-editor: fix text erasure with newline * md-editor: fix backspace behavior in gutter	2020-11-13 02:58:38 +01:00
ed	316e3abfab	NIH! NIH! NIH!	2020-05-11 01:38:30 +02:00
ed	5b55d05a20	ux tweaks	2020-05-06 23:40:36 +02:00
ed	28e3178ac5	markdown-editor darkmode fixes	2020-05-06 00:07:12 +02:00
ed	75e68d3427	ux fixes	2020-05-02 08:01:58 +02:00
ed	d9c71c11fd	markdown editor works	2020-05-02 01:16:10 +02:00
ed	706f30033e	add linetracking to easymde	2020-05-01 19:56:52 +02:00
ed	04047f3a72	add smol fontawesome	2020-05-01 02:24:29 +02:00
ed	bef2e92cef	markdown-editor joke stopped being a joke...	2020-04-30 00:47:28 +02:00