My only guess would be that the theme sets up a hotkey that ends up using AltGr. iirc that key is equivalent to ctrl+alt or alt+shift or something.