diff --git a/book/lake-manifest.json b/book/lake-manifest.json
index b1d90f4f..badbb86b 100644
--- a/book/lake-manifest.json
+++ b/book/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "a71fb6d4153ff528186aef3df20732076f71509f",
+   "rev": "56d79b34f49586d95ac0a7c3d71f1342469d025d",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "analysis",
diff --git a/book/static_files/style.css b/book/static_files/style.css
index 4a4bfc49..00c5aa2a 100644
--- a/book/static_files/style.css
+++ b/book/static_files/style.css
@@ -50,4 +50,12 @@ code span {
 
 body {
     font-family: "Source Sans 3","Helvetica Neue","Segoe UI","Roboto",Arial,sans-serif;
+}
+
+div.declaration {
+    border-top: 1px solid #c0c0d0;
+    padding-top: 1em;
+    padding-bottom: 1em;
+    margin-top: 1em;
+    margin-bottom: 1em;
 }
\ No newline at end of file