diff --git a/Doc/icons/00Contents b/Doc/icons/00Contents
new file mode 100644
index 00000000000..431e521337f
--- /dev/null
+++ b/Doc/icons/00Contents
@@ -0,0 +1,32 @@
+total 33
+-rw-rw-r-- 1 ctan TeX 2122 Feb 15 06:23 00Contents
+-rw-rw-r-- 1 ctan TeX 49 Jan 14 00:19 blank.pbm
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 blueball.gif
+-rw-rw-r-- 1 ctan TeX 133 Jan 14 00:19 change_begin.gif
+-rw-rw-r-- 1 ctan TeX 257 Jan 14 00:19 change_delete.gif
+-rw-rw-r-- 1 ctan TeX 135 Jan 14 00:19 change_end.gif
+-rw-rw-r-- 1 ctan TeX 744 Jan 14 00:19 contents.xbm
+-rw-rw-r-- 1 ctan TeX 225 Jan 14 00:19 contents_motif.gif
+-rw-rw-r-- 1 ctan TeX 78 Jan 14 00:19 cross_ref_motif.gif
+-rw-rw-r-- 1 ctan TeX 87 Jan 14 00:19 foot_motif.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 greenball.gif
+-rw-rw-r-- 1 ctan TeX 910 Jan 14 00:19 icons.html
+-rw-rw-r-- 1 ctan TeX 195 Jan 14 00:19 image.gif
+-rw-rw-r-- 1 ctan TeX 180 Jan 14 00:19 index_motif.gif
+-rw-rw-r-- 1 ctan TeX 97 Jan 14 00:19 invis_anchor.xbm
+-rw-rw-r-- 1 ctan TeX 259 Jan 14 00:19 next_group_motif.gif
+-rw-rw-r-- 1 ctan TeX 259 Jan 14 00:19 next_group_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 172 Jan 14 00:19 next_motif.gif
+-rw-rw-r-- 1 ctan TeX 172 Jan 14 00:19 next_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 orangeball.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 pinkball.gif
+-rw-rw-r-- 1 ctan TeX 303 Jan 14 00:19 previous_group_motif.gif
+-rw-rw-r-- 1 ctan TeX 303 Jan 14 00:19 previous_group_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 220 Jan 14 00:19 previous_motif.gif
+-rw-rw-r-- 1 ctan TeX 220 Jan 14 00:19 previous_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 purpleball.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 redball.gif
+-rw-rw-r-- 1 ctan TeX 145 Jan 14 00:19 up_motif.gif
+-rw-rw-r-- 1 ctan TeX 145 Jan 14 00:19 up_motif_gr.gif
+-rw-rw-r-- 1 ctan TeX 267 Jan 14 00:19 whiteball.gif
+-rw-rw-r-- 1 ctan TeX 390 Jan 14 00:19 yellowball.gif
diff --git a/Doc/icons/blank.pbm b/Doc/icons/blank.pbm
new file mode 100644
index 00000000000..3c724639131
--- /dev/null
+++ b/Doc/icons/blank.pbm
@@ -0,0 +1,4 @@
+P4
+# CREATOR: XV Version 3.00 Rev: 3/30/93
+1 1
+
\ No newline at end of file
diff --git a/Doc/icons/blueball.gif b/Doc/icons/blueball.gif
new file mode 100644
index 00000000000..545d5ce9eaf
Binary files /dev/null and b/Doc/icons/blueball.gif differ
diff --git a/Doc/icons/change_begin.gif b/Doc/icons/change_begin.gif
new file mode 100644
index 00000000000..dbe8d7e5d9f
Binary files /dev/null and b/Doc/icons/change_begin.gif differ
diff --git a/Doc/icons/change_delete.gif b/Doc/icons/change_delete.gif
new file mode 100644
index 00000000000..4bdf754e755
Binary files /dev/null and b/Doc/icons/change_delete.gif differ
diff --git a/Doc/icons/change_end.gif b/Doc/icons/change_end.gif
new file mode 100644
index 00000000000..21467c2fc6f
Binary files /dev/null and b/Doc/icons/change_end.gif differ
diff --git a/Doc/icons/contents.xbm b/Doc/icons/contents.xbm
new file mode 100644
index 00000000000..a3aed9f8625
--- /dev/null
+++ b/Doc/icons/contents.xbm
@@ -0,0 +1,12 @@
+#define contents_width 63
+#define contents_height 16
+static char contents_bits[] = {
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0xc0,0x01,0x00,0x08,0x00,0x00,0x01,0x00,0x20,0x02,0x00,0x08,0x00,
+ 0x00,0x01,0x00,0x20,0xe2,0x74,0x7c,0x9c,0x8e,0x8f,0x03,0x20,0x10,0x99,0x08,
+ 0x22,0x13,0x41,0x04,0x20,0x10,0x89,0x08,0x3e,0x11,0x81,0x03,0x20,0x12,0x89,
+ 0x08,0x02,0x11,0x01,0x04,0x20,0x12,0x89,0x88,0x22,0x11,0x51,0x04,0xc0,0xe1,
+ 0x9c,0x71,0x9c,0x33,0x8e,0x03,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,
+ 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00};
diff --git a/Doc/icons/contents_motif.gif b/Doc/icons/contents_motif.gif
new file mode 100644
index 00000000000..7b3c904b289
Binary files /dev/null and b/Doc/icons/contents_motif.gif differ
diff --git a/Doc/icons/cross_ref_motif.gif b/Doc/icons/cross_ref_motif.gif
new file mode 100644
index 00000000000..f45cb2f09eb
Binary files /dev/null and b/Doc/icons/cross_ref_motif.gif differ
diff --git a/Doc/icons/foot_motif.gif b/Doc/icons/foot_motif.gif
new file mode 100644
index 00000000000..f29222a289c
Binary files /dev/null and b/Doc/icons/foot_motif.gif differ
diff --git a/Doc/icons/greenball.gif b/Doc/icons/greenball.gif
new file mode 100644
index 00000000000..1017f8314f7
Binary files /dev/null and b/Doc/icons/greenball.gif differ
diff --git a/Doc/icons/icons.html b/Doc/icons/icons.html
new file mode 100644
index 00000000000..d6b38c35fb6
--- /dev/null
+++ b/Doc/icons/icons.html
@@ -0,0 +1,42 @@
+
+
+
+
+
+
diff --git a/Doc/icons/image.gif b/Doc/icons/image.gif
new file mode 100644
index 00000000000..7e6cb1a4188
Binary files /dev/null and b/Doc/icons/image.gif differ
diff --git a/Doc/icons/index_motif.gif b/Doc/icons/index_motif.gif
new file mode 100644
index 00000000000..b9b3108aa82
Binary files /dev/null and b/Doc/icons/index_motif.gif differ
diff --git a/Doc/icons/invis_anchor.xbm b/Doc/icons/invis_anchor.xbm
new file mode 100644
index 00000000000..cc208a31ff7
--- /dev/null
+++ b/Doc/icons/invis_anchor.xbm
@@ -0,0 +1,4 @@
+#define dot_anchor_width 1
+#define dot_anchor_height 1
+static char dot_anchor_bits[] = {
+ 0xfe};
diff --git a/Doc/icons/next_group_motif.gif b/Doc/icons/next_group_motif.gif
new file mode 100644
index 00000000000..3f4005aea41
Binary files /dev/null and b/Doc/icons/next_group_motif.gif differ
diff --git a/Doc/icons/next_group_motif_gr.gif b/Doc/icons/next_group_motif_gr.gif
new file mode 100644
index 00000000000..a5888d70fa1
Binary files /dev/null and b/Doc/icons/next_group_motif_gr.gif differ
diff --git a/Doc/icons/next_motif.gif b/Doc/icons/next_motif.gif
new file mode 100644
index 00000000000..928a32db8a5
Binary files /dev/null and b/Doc/icons/next_motif.gif differ
diff --git a/Doc/icons/next_motif_gr.gif b/Doc/icons/next_motif_gr.gif
new file mode 100644
index 00000000000..011fa0411e5
Binary files /dev/null and b/Doc/icons/next_motif_gr.gif differ
diff --git a/Doc/icons/orangeball.gif b/Doc/icons/orangeball.gif
new file mode 100644
index 00000000000..03d64227e60
Binary files /dev/null and b/Doc/icons/orangeball.gif differ
diff --git a/Doc/icons/pinkball.gif b/Doc/icons/pinkball.gif
new file mode 100644
index 00000000000..0e7aa81166a
Binary files /dev/null and b/Doc/icons/pinkball.gif differ
diff --git a/Doc/icons/previous_group_motif.gif b/Doc/icons/previous_group_motif.gif
new file mode 100644
index 00000000000..ffb68034b3c
Binary files /dev/null and b/Doc/icons/previous_group_motif.gif differ
diff --git a/Doc/icons/previous_group_motif_gr.gif b/Doc/icons/previous_group_motif_gr.gif
new file mode 100644
index 00000000000..793dae1c55e
Binary files /dev/null and b/Doc/icons/previous_group_motif_gr.gif differ
diff --git a/Doc/icons/previous_motif.gif b/Doc/icons/previous_motif.gif
new file mode 100644
index 00000000000..c38778c7c4d
Binary files /dev/null and b/Doc/icons/previous_motif.gif differ
diff --git a/Doc/icons/previous_motif_gr.gif b/Doc/icons/previous_motif_gr.gif
new file mode 100644
index 00000000000..d5398b3e868
Binary files /dev/null and b/Doc/icons/previous_motif_gr.gif differ
diff --git a/Doc/icons/purpleball.gif b/Doc/icons/purpleball.gif
new file mode 100644
index 00000000000..e327920b5ed
Binary files /dev/null and b/Doc/icons/purpleball.gif differ
diff --git a/Doc/icons/redball.gif b/Doc/icons/redball.gif
new file mode 100644
index 00000000000..aa394e0b4a7
Binary files /dev/null and b/Doc/icons/redball.gif differ
diff --git a/Doc/icons/up_motif.gif b/Doc/icons/up_motif.gif
new file mode 100644
index 00000000000..c7c9cf72647
Binary files /dev/null and b/Doc/icons/up_motif.gif differ
diff --git a/Doc/icons/up_motif_gr.gif b/Doc/icons/up_motif_gr.gif
new file mode 100644
index 00000000000..6aeb675adad
Binary files /dev/null and b/Doc/icons/up_motif_gr.gif differ
diff --git a/Doc/icons/whiteball.gif b/Doc/icons/whiteball.gif
new file mode 100644
index 00000000000..168ea761f24
Binary files /dev/null and b/Doc/icons/whiteball.gif differ
diff --git a/Doc/icons/yellowball.gif b/Doc/icons/yellowball.gif
new file mode 100644
index 00000000000..a360cd41d70
Binary files /dev/null and b/Doc/icons/yellowball.gif differ