Thanks for your kind words, glad you like the script! 🙂
This looks like some weird Webkit redraw bug (I noticed it doesn’t happen in Firefox). I guess there is a simple way to workaround it via the API (e.g. forcing a redraw of the main menu or the body on menu hide, etc.) so I will do some tests a bit later.. I am still not sure if it would be a good idea to add a fix for this in the script core though, I will think about this too when I figure out a fix..