Adding the icons used by latex2html output to the CVS tree.

31 files changed, 94 insertions, 0 deletions

diff --git a/Doc/icons/00Contents b/Doc/icons/00Contents
new file mode 100644
index 0000000..431e521
--- /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 0000000..3c72463
--- /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 0000000..545d5ce
--- /dev/null
+++ b/Doc/icons/blueball.gif
diff --git a/Doc/icons/change_begin.gif b/Doc/icons/change_begin.gif
new file mode 100644
index 0000000..dbe8d7e
--- /dev/null
+++ b/Doc/icons/change_begin.gif
diff --git a/Doc/icons/change_delete.gif b/Doc/icons/change_delete.gif
new file mode 100644
index 0000000..4bdf754
--- /dev/null
+++ b/Doc/icons/change_delete.gif
diff --git a/Doc/icons/change_end.gif b/Doc/icons/change_end.gif
new file mode 100644
index 0000000..21467c2
--- /dev/null
+++ b/Doc/icons/change_end.gif
diff --git a/Doc/icons/contents.xbm b/Doc/icons/contents.xbm
new file mode 100644
index 0000000..a3aed9f
--- /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 0000000..7b3c904
--- /dev/null
+++ b/Doc/icons/contents_motif.gif
diff --git a/Doc/icons/cross_ref_motif.gif b/Doc/icons/cross_ref_motif.gif
new file mode 100644
index 0000000..f45cb2f
--- /dev/null
+++ b/Doc/icons/cross_ref_motif.gif
diff --git a/Doc/icons/foot_motif.gif b/Doc/icons/foot_motif.gif
new file mode 100644
index 0000000..f29222a
--- /dev/null
+++ b/Doc/icons/foot_motif.gif
diff --git a/Doc/icons/greenball.gif b/Doc/icons/greenball.gif
new file mode 100644
index 0000000..1017f83
--- /dev/null
+++ b/Doc/icons/greenball.gif
diff --git a/Doc/icons/icons.html b/Doc/icons/icons.html
new file mode 100644
index 0000000..d6b38c3
--- /dev/null
+++ b/Doc/icons/icons.html
@@ -0,0 +1,42 @@
+
+<FORM METHOD="POST" >
+<INPUT TYPE="submit" VALUE="Next">
+ <P>
+<INPUT TYPE="submit" VALUE="Previous">
+ <P>
+<INPUT TYPE="submit" VALUE="Up">
+ <P>
+<INPUT TYPE="submit" VALUE="Next Group">
+ <P>
+<INPUT TYPE="submit" VALUE="Previous Group">
+ <P>
+<INPUT TYPE="submit" VALUE="Contents">
+ <P>
+<INPUT TYPE="submit" VALUE="Index">
+ <P>
+<INPUT TYPE="submit" VALUE="        New         ">
+ <P>
+<INPUT TYPE="submit" VALUE="      Deleted       ">
+ <P>
+<INPUT TYPE="submit" VALUE="Browse">
+ <P>
+<INPUT TYPE="submit" VALUE="Search">
+ <P>
+<INPUT TYPE="submit" VALUE="Home">
+ <P>
+<INPUT TYPE="submit" VALUE="Image">
+ <P>
+<INPUT TYPE="submit" VALUE="a">
+
+ <P>
+
+<INPUT TYPE="checkbox" NAME="xx" VALUE="nil">
+<INPUT TYPE="checkbox" NAME="xx" VALUE="nil">
+<INPUT TYPE="checkbox" NAME="xx" VALUE="nil">
+
+
+</FORM>
+
+<IMG ALIGN=MIDDLE SRC="changebegin.gif" ALT="changeend"><P>
+
+<P><IMG ALIGN=MIDDLE SRC="changeend.gif" ALT="changeend">
diff --git a/Doc/icons/image.gif b/Doc/icons/image.gif
new file mode 100644
index 0000000..7e6cb1a
--- /dev/null
+++ b/Doc/icons/image.gif
diff --git a/Doc/icons/index_motif.gif b/Doc/icons/index_motif.gif
new file mode 100644
index 0000000..b9b3108
--- /dev/null
+++ b/Doc/icons/index_motif.gif
diff --git a/Doc/icons/invis_anchor.xbm b/Doc/icons/invis_anchor.xbm
new file mode 100644
index 0000000..cc208a3
--- /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 0000000..3f4005a
--- /dev/null
+++ b/Doc/icons/next_group_motif.gif
diff --git a/Doc/icons/next_group_motif_gr.gif b/Doc/icons/next_group_motif_gr.gif
new file mode 100644
index 0000000..a5888d7
--- /dev/null
+++ b/Doc/icons/next_group_motif_gr.gif
diff --git a/Doc/icons/next_motif.gif b/Doc/icons/next_motif.gif
new file mode 100644
index 0000000..928a32d
--- /dev/null
+++ b/Doc/icons/next_motif.gif
diff --git a/Doc/icons/next_motif_gr.gif b/Doc/icons/next_motif_gr.gif
new file mode 100644
index 0000000..011fa04
--- /dev/null
+++ b/Doc/icons/next_motif_gr.gif
diff --git a/Doc/icons/orangeball.gif b/Doc/icons/orangeball.gif
new file mode 100644
index 0000000..03d6422
--- /dev/null
+++ b/Doc/icons/orangeball.gif
diff --git a/Doc/icons/pinkball.gif b/Doc/icons/pinkball.gif
new file mode 100644
index 0000000..0e7aa81
--- /dev/null
+++ b/Doc/icons/pinkball.gif
diff --git a/Doc/icons/previous_group_motif.gif b/Doc/icons/previous_group_motif.gif
new file mode 100644
index 0000000..ffb6803
--- /dev/null
+++ b/Doc/icons/previous_group_motif.gif
diff --git a/Doc/icons/previous_group_motif_gr.gif b/Doc/icons/previous_group_motif_gr.gif
new file mode 100644
index 0000000..793dae1
--- /dev/null
+++ b/Doc/icons/previous_group_motif_gr.gif
diff --git a/Doc/icons/previous_motif.gif b/Doc/icons/previous_motif.gif
new file mode 100644
index 0000000..c38778c
--- /dev/null
+++ b/Doc/icons/previous_motif.gif
diff --git a/Doc/icons/previous_motif_gr.gif b/Doc/icons/previous_motif_gr.gif
new file mode 100644
index 0000000..d5398b3
--- /dev/null
+++ b/Doc/icons/previous_motif_gr.gif
diff --git a/Doc/icons/purpleball.gif b/Doc/icons/purpleball.gif
new file mode 100644
index 0000000..e327920
--- /dev/null
+++ b/Doc/icons/purpleball.gif
diff --git a/Doc/icons/redball.gif b/Doc/icons/redball.gif
new file mode 100644
index 0000000..aa394e0
--- /dev/null
+++ b/Doc/icons/redball.gif
diff --git a/Doc/icons/up_motif.gif b/Doc/icons/up_motif.gif
new file mode 100644
index 0000000..c7c9cf7
--- /dev/null
+++ b/Doc/icons/up_motif.gif
diff --git a/Doc/icons/up_motif_gr.gif b/Doc/icons/up_motif_gr.gif
new file mode 100644
index 0000000..6aeb675
--- /dev/null
+++ b/Doc/icons/up_motif_gr.gif
diff --git a/Doc/icons/whiteball.gif b/Doc/icons/whiteball.gif
new file mode 100644
index 0000000..168ea76
--- /dev/null
+++ b/Doc/icons/whiteball.gif
diff --git a/Doc/icons/yellowball.gif b/Doc/icons/yellowball.gif
new file mode 100644
index 0000000..a360cd4
--- /dev/null
+++ b/Doc/icons/yellowball.gif