diff --git a/doc/manual/logo-mini.png b/doc/manual/logo-mini.png index 84f501c0..48d60ab1 100644 Binary files a/doc/manual/logo-mini.png and b/doc/manual/logo-mini.png differ