Is it OK to mix NIMH and NiCd batteries in an electronic device?

You should NEVER mix different types of batteries in any device. The charging characteristics are different and one type will charge "harder" than the other.