Fixes empty spaces appearing in the menu if a person is not allowed to see this menu or if no menu is defined.
Patch by: Lennard de Rijk
"Decorator for views that gzips pages if the client supports it."
from django.utils.decorators import decorator_from_middleware
from django.middleware.gzip import GZipMiddleware
gzip_page = decorator_from_middleware(GZipMiddleware)