Commit Graph

24 Commits

Author SHA1 Message Date
a143888c37 badges 2024-01-13 21:41:31 +01:00
98359e8481 oops 2024-01-13 00:22:10 +01:00
8de5173d89 style fix 2024-01-13 00:19:53 +01:00
1a2629f9e0 style changes 2024-01-13 00:03:21 +01:00
ab3784c531 add commutative diagram plugin 2023-12-24 22:44:07 +01:00
365e7e07af highlighting 2023-12-09 15:41:39 +01:00
8831fb4f66 better width 2023-12-09 11:44:14 +01:00
606147b354 redesign website 2023-12-08 22:09:59 +01:00
e1ce70303b CUP !!! 2023-03-04 00:20:48 +01:00
4de9104c94 added about page 2023-01-27 17:38:22 +01:00
b6f84312e6 write a lot on haskell and logic draft 2022-12-10 22:52:39 +01:00
8bc66a9232 updated css 2022-12-09 20:37:13 +01:00
344262db2a style change 2022-12-09 20:02:28 +01:00
12ff557e77 minimize website 2022-10-08 15:13:30 +02:00
62bf30dd50 I'm an idiot 2022-04-01 20:11:04 +02:00
9db9cdbc0d cleaned up css file 2022-04-01 20:01:13 +02:00
6c61cb11a7 factor out css to two files for performance 2022-04-01 19:56:45 +02:00
791fa607da switch to using 'monospace' rather than firacode. self host katex 2022-04-01 19:51:48 +02:00
27402ebcdb prettify blog post listing page a bit 2022-01-27 20:36:06 +01:00
c69e7d326a adjusted column width slightly 2022-01-27 20:09:23 +01:00
f644309ae0 fix issue with SECD machine post 2022-01-27 20:06:52 +01:00
a21faac1e0 add all my posts 2022-01-27 19:44:11 +01:00
14218bbce5 did all layout stuff, just need my posts now 2022-01-27 18:34:28 +01:00
94da16f45e created basic site structure and added support for katex and lagda 2022-01-26 21:35:10 +01:00