DigiMouse: more style fixes