From 6a3b4c5f889bbc8af702ba3dfd43df82e30b133b Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Tue, 24 Mar 2026 20:06:48 +0800 Subject: [PATCH] Remove hakyll-blog.cabal and update .Proof CSS --- css/chao-theorems.css | 1 + hakyll-blog.cabal => hakysidian.cabal | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) rename hakyll-blog.cabal => hakysidian.cabal (97%) diff --git a/css/chao-theorems.css b/css/chao-theorems.css index 4103265..6ef02ca 100644 --- a/css/chao-theorems.css +++ b/css/chao-theorems.css @@ -36,6 +36,7 @@ } .Proof { + background: none; font-style: normal; position: relative; } diff --git a/hakyll-blog.cabal b/hakysidian.cabal similarity index 97% rename from hakyll-blog.cabal rename to hakysidian.cabal index 87b2bb9..d3b3eb3 100644 --- a/hakyll-blog.cabal +++ b/hakysidian.cabal @@ -1,4 +1,4 @@ -name: hakyll-blog +name: hakysidian version: 0.1.0.0 build-type: Simple cabal-version: >= 1.10