5 commits

Author	SHA1	Message	Date
Nathan McCarty	804b51aaa6	Style tweaks	2025-02-04 15:57:53 -05:00
Nathan McCarty	bf56790e3a	set font and round corners	2025-02-04 04:17:34 -05:00
Nathan McCarty	37e92392ca	Basic syntax highlighting	2025-02-04 03:10:40 -05:00
Nathan McCarty	08e450bd51	Sample raw markdown blog post	2025-01-21 02:08:34 -05:00
Nathan McCarty	43585ac89e	Move idris projects to right place	2025-01-20 21:54:54 -05:00