diff --git a/doc/manual/logo-mini.png b/doc/manual/logo-mini.png index 4fff1b88..590cdc78 100644 Binary files a/doc/manual/logo-mini.png and b/doc/manual/logo-mini.png differ diff --git a/doc/manual/logo.png b/doc/manual/logo.png new file mode 100644 index 00000000..96c33faa Binary files /dev/null and b/doc/manual/logo.png differ