diff -r 21ac67ebf9e7 -r 964633aa5d45 design/index.html
--- a/design/index.html Tue Jul 18 18:15:51 2017 +0200
+++ b/design/index.html Wed Jul 19 16:47:41 2017 +0200
@@ -1,31 +1,17 @@
----
---
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+layout: default
+---
{% include nav.html %}
+
+
- {% include notes.html %}
+ {% include notes.html margins="side" %}
@@ -33,10 +19,3 @@
{% include zone.edit.html %}
-
-
-
-
-
-
-