|
|
7e63e0de68
|
slight style fix
|
2024-01-13 21:48:45 +01:00 |
|
|
|
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 |
|
