fixed jquery-ui menu styles, #378
grappellified jquery-ui custom theme, #378
Merge branch 'stable/2.5.x' of https://github.com/sehmaschine/django-grappelli into stable/2.5.x