Some customization for gator-specific theme