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 94%
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