diff --git a/static/haddock/minus.gif b/static/haddock/minus.gif new file mode 100644 index 0000000..1deac2f Binary files /dev/null and b/static/haddock/minus.gif differ diff --git a/static/haddock/plus.gif b/static/haddock/plus.gif new file mode 100644 index 0000000..2d15c14 Binary files /dev/null and b/static/haddock/plus.gif differ diff --git a/static/haddock/synopsis.png b/static/haddock/synopsis.png new file mode 100644 index 0000000..85fb86e Binary files /dev/null and b/static/haddock/synopsis.png differ