Hey, thanks for the review. What you can do is to report a bug with more detailed info on bugzilla. This is most likely a FF on linux issue related to the gif based theme.