diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.gif b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.gif deleted file mode 100644 index ffcca815a238cd923f332464307d9caefe5ca1fe..0000000000000000000000000000000000000000 Binary files a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.gif and /dev/null differ diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.png new file mode 100644 index 0000000000000000000000000000000000000000..f7dd7edce6c7059af0befd0b44fd5facd9279206 Binary files /dev/null and b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/go-jump.png differ diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/home.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/home.png new file mode 100644 index 0000000000000000000000000000000000000000..c245767234862e8ab71bd10d2e5f796ca4b2ba4b Binary files /dev/null and b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/home.png differ diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/go-jump.gif b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/go-jump.gif deleted file mode 100644 index ffcca815a238cd923f332464307d9caefe5ca1fe..0000000000000000000000000000000000000000 Binary files a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/go-jump.gif and /dev/null differ diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/go-jump.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/go-jump.png new file mode 100644 index 0000000000000000000000000000000000000000..f7dd7edce6c7059af0befd0b44fd5facd9279206 Binary files /dev/null and b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/go-jump.png differ diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/home.png b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/home.png index d0d4c6bcda93c78ff082c98f87dc6648216fe09a..c245767234862e8ab71bd10d2e5f796ca4b2ba4b 100644 Binary files a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/home.png and b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/icons/home.png differ