Commit graph

14 commits

Author SHA1 Message Date
89c28d0a45 Forgot to account for dark theme 2023-02-04 01:21:21 -06:00
ad3bd9bce1 Relayout home page 2023-02-04 01:21:21 -06:00
Michael Zhang
baa186ea5a Ye 2023-02-04 01:21:21 -06:00
Michael Zhang
fe2c3f2524 Tag on light theme 2023-02-04 01:21:20 -06:00
604e47888b Add real email 2023-02-04 01:21:20 -06:00
Michael Zhang
768a5b1809 Cosmetics 2023-02-04 01:21:20 -06:00
Michael Zhang
44ba9624f7 A bit more 2023-02-04 01:21:20 -06:00
Michael Zhang
56bbbc5dee Start drafting CEK 2023-02-04 01:21:20 -06:00
648ed87a91
New home page 2022-01-24 18:35:39 -06:00
e59fdc101c
Add agda stylesheet + Mono font 2021-12-12 13:56:54 -06:00
b04175954b
new post 2021-08-30 02:52:21 -05:00
eae8265313
projs 2021-07-06 17:27:33 -05:00
8c1ee0d40e
upd 2021-07-06 16:57:42 -05:00
552b6b3892
Hugo commit 2020-11-03 16:14:45 -06:00
Renamed from sass/main.scss (Browse further)