diff --git a/developer_manual/images/navigation-bullet.png b/developer_manual/images/navigation-bullet.png index 75088ade3..edf6a105e 100644 Binary files a/developer_manual/images/navigation-bullet.png and b/developer_manual/images/navigation-bullet.png differ diff --git a/developer_manual/images/navigation-buttons.png b/developer_manual/images/navigation-buttons.png index 91088ee01..64f9cfbda 100644 Binary files a/developer_manual/images/navigation-buttons.png and b/developer_manual/images/navigation-buttons.png differ diff --git a/developer_manual/images/navigation-collapsible.gif b/developer_manual/images/navigation-collapsible.gif index ec87c186b..1e5c5c33d 100644 Binary files a/developer_manual/images/navigation-collapsible.gif and b/developer_manual/images/navigation-collapsible.gif differ diff --git a/developer_manual/images/navigation-counter.png b/developer_manual/images/navigation-counter.png index cd9ffc866..29312a4b2 100644 Binary files a/developer_manual/images/navigation-counter.png and b/developer_manual/images/navigation-counter.png differ diff --git a/developer_manual/images/navigation-edit.gif b/developer_manual/images/navigation-edit.gif index ec9b9d3b6..55543e2f1 100644 Binary files a/developer_manual/images/navigation-edit.gif and b/developer_manual/images/navigation-edit.gif differ diff --git a/developer_manual/images/navigation-menu.png b/developer_manual/images/navigation-menu.png index 6c36dd44e..889fd5555 100644 Binary files a/developer_manual/images/navigation-menu.png and b/developer_manual/images/navigation-menu.png differ diff --git a/developer_manual/images/navigation-undo.gif b/developer_manual/images/navigation-undo.gif index a3958f98d..a31fa3e44 100644 Binary files a/developer_manual/images/navigation-undo.gif and b/developer_manual/images/navigation-undo.gif differ diff --git a/developer_manual/images/navigation.png b/developer_manual/images/navigation.png index 16704168f..48502fbdf 100644 Binary files a/developer_manual/images/navigation.png and b/developer_manual/images/navigation.png differ diff --git a/developer_manual/images/progress.png b/developer_manual/images/progress.png index b1373ac9d..7b9ab211e 100644 Binary files a/developer_manual/images/progress.png and b/developer_manual/images/progress.png differ