diff --git a/css/agda.css b/css/agda.css
deleted file mode 100644
--- a/css/agda.css
+++ /dev/null
@@ -1,38 +0,0 @@
-/* Adapted from `src/data/Agda.css' from the Agda package, see
-   <http://code.haskell.org/Agda/LICENSE> for the license and the copyright
-   information.
-*/
-
-/* Aspects. */
-pre.Agda a.Comment       { color: #B22222 }
-pre.Agda a.Keyword       { color: #CD6600 }
-pre.Agda a.String        { color: #B22222 }
-pre.Agda a.Number        { color: #A020F0 }
-pre.Agda a.Symbol        { color: #404040 }
-pre.Agda a.PrimitiveType { color: #0000CD }
-pre.Agda a.Operator      {}
-
-/* NameKinds. */
-pre.Agda a.Bound                  { color: black   }
-pre.Agda a.InductiveConstructor   { color: #008B00 }
-pre.Agda a.CoinductiveConstructor { color: #8B7500 }
-pre.Agda a.Datatype               { color: #0000CD }
-pre.Agda a.Field                  { color: #EE1289 }
-pre.Agda a.Function               { color: #0000CD }
-pre.Agda a.Module                 { color: #A020F0 }
-pre.Agda a.Postulate              { color: #0000CD }
-pre.Agda a.Primitive              { color: #0000CD }
-pre.Agda a.Record                 { color: #0000CD }
-
-/* OtherAspects. */
-pre.Agda a.DottedPattern      {}
-pre.Agda a.UnsolvedMeta       { color: black; background: yellow         }
-pre.Agda a.UnsolvedConstraint { color: black; background: yellow         }
-pre.Agda a.TerminationProblem { color: black; background: #FFA07A        }
-pre.Agda a.IncompletePattern  { color: black; background: #F5DEB3        }
-pre.Agda a.Error              { color: red;   text-decoration: underline }
-pre.Agda a.TypeChecks         { color: black; background: #ADD8E6        }
-
-/* Standard attributes. */
-pre.Agda a { text-decoration: none }
-pre.Agda a[href]:hover { background-color: #B4EEB4 }
diff --git a/hakyll-agda.cabal b/hakyll-agda.cabal
--- a/hakyll-agda.cabal
+++ b/hakyll-agda.cabal
@@ -1,6 +1,6 @@
 Cabal-version:      >= 1.6
 Name:               hakyll-agda
-Version:            0.1.2
+Version:            0.1.3
 Author:             Francesco Mazzoli (f@mazzo.li)
 Maintainer:         Francesco Mazzoli (f@mazzo.li)
 Build-Type:         Simple
@@ -11,12 +11,9 @@
 Tested-With:        GHC==7.6.3
 Homepage:           https://github.com/bitonic/hakyll-agda
 Bug-Reports:        https://github.com/bitonic/hakyll-agda/issues
-Description:
-    Simple module useful to generate blog posts from literate Agda files.
-    .
-    Note: Currently this package requires the development version of Hakyll,
-    see <http://mazzo.li/posts/agda-hakyll.html> for more info.
-Data-Files:         css/agda.css
+Description:        Simple module useful to generate blog posts from literate
+                    Agda files.  See <http://mazzo.li/posts/agda-hakyll.html>
+                    for more info.
 
 source-repository head
     type:     git
@@ -24,7 +21,7 @@
 
 Library
     Build-Depends:    base >= 3 && < 5,
-                      hakyll >= 4.2.2 && < 5,
+                      hakyll >= 4.3 && < 5,
                       Agda >= 2.3 && < 3,
                       pandoc >= 1.10 && < 2,
                       xhtml >= 3000.2 && < 3000.3,