diff --git a/doc/html/images/blank.png b/doc/html/images/blank.png
new file mode 100644
index 0000000000..764bf4f0c3
Binary files /dev/null and b/doc/html/images/blank.png differ
diff --git a/doc/html/images/caution.png b/doc/html/images/caution.png
new file mode 100644
index 0000000000..5b7809ca4a
Binary files /dev/null and b/doc/html/images/caution.png differ
diff --git a/doc/html/images/draft.png b/doc/html/images/draft.png
new file mode 100644
index 0000000000..0084708c9b
Binary files /dev/null and b/doc/html/images/draft.png differ
diff --git a/doc/html/images/home.png b/doc/html/images/home.png
new file mode 100644
index 0000000000..cbb711de71
Binary files /dev/null and b/doc/html/images/home.png differ
diff --git a/doc/html/images/important.png b/doc/html/images/important.png
new file mode 100644
index 0000000000..12c90f607a
Binary files /dev/null and b/doc/html/images/important.png differ
diff --git a/doc/html/images/next.png b/doc/html/images/next.png
new file mode 100644
index 0000000000..45835bf89a
Binary files /dev/null and b/doc/html/images/next.png differ
diff --git a/doc/html/images/note.png b/doc/html/images/note.png
new file mode 100644
index 0000000000..d0c3c645ab
Binary files /dev/null and b/doc/html/images/note.png differ
diff --git a/doc/html/images/prev.png b/doc/html/images/prev.png
new file mode 100644
index 0000000000..cf24654f8a
Binary files /dev/null and b/doc/html/images/prev.png differ
diff --git a/doc/html/images/tip.png b/doc/html/images/tip.png
new file mode 100644
index 0000000000..5c4aab3bb3
Binary files /dev/null and b/doc/html/images/tip.png differ
diff --git a/doc/html/images/toc-blank.png b/doc/html/images/toc-blank.png
new file mode 100644
index 0000000000..6ffad17a0c
Binary files /dev/null and b/doc/html/images/toc-blank.png differ
diff --git a/doc/html/images/toc-minus.png b/doc/html/images/toc-minus.png
new file mode 100644
index 0000000000..abbb020c8e
Binary files /dev/null and b/doc/html/images/toc-minus.png differ
diff --git a/doc/html/images/toc-plus.png b/doc/html/images/toc-plus.png
new file mode 100644
index 0000000000..941312ce0d
Binary files /dev/null and b/doc/html/images/toc-plus.png differ
diff --git a/doc/html/images/up.png b/doc/html/images/up.png
new file mode 100644
index 0000000000..07634de26b
Binary files /dev/null and b/doc/html/images/up.png differ
diff --git a/doc/html/images/warning.png b/doc/html/images/warning.png
new file mode 100644
index 0000000000..1c33db8f34
Binary files /dev/null and b/doc/html/images/warning.png differ
diff --git a/doc/html/reference.css b/doc/html/reference.css
new file mode 100644
index 0000000000..be4e64cc07
--- /dev/null
+++ b/doc/html/reference.css
@@ -0,0 +1,5 @@
+PRE.synopsis { 
+  background-color: #e0ffff;
+  border: thin solid blue;
+  padding: 1em
+}