Fix for messy looking logo in header bar of docs
Merge pull request #1269 from timlinux/compressed-images

Compressed images