PNG version of the icons, converted from the GIFs

by Michael Hudson <mwh21@cam.ac.uk>.

diff --git a/Doc/html/icons/contents.png b/Doc/html/icons/contents.png
new file mode 100644 (file)
index 0000000..3429be0
Binary files /dev/null and b/Doc/html/icons/contents.png differ

diff --git a/Doc/html/icons/index.png b/Doc/html/icons/index.png
new file mode 100644 (file)
index 0000000..cd918af
Binary files /dev/null and b/Doc/html/icons/index.png differ

diff --git a/Doc/html/icons/modules.png b/Doc/html/icons/modules.png
new file mode 100644 (file)
index 0000000..8fa8b75
Binary files /dev/null and b/Doc/html/icons/modules.png differ

diff --git a/Doc/html/icons/next.png b/Doc/html/icons/next.png
new file mode 100644 (file)
index 0000000..cfe5e51
Binary files /dev/null and b/Doc/html/icons/next.png differ

diff --git a/Doc/html/icons/previous.png b/Doc/html/icons/previous.png
new file mode 100644 (file)
index 0000000..497def4
Binary files /dev/null and b/Doc/html/icons/previous.png differ

diff --git a/Doc/html/icons/up.png b/Doc/html/icons/up.png
new file mode 100644 (file)
index 0000000..a90e028
Binary files /dev/null and b/Doc/html/icons/up.png differ