rc.xml: adapted the keybindings for pragha.
rc.xml: style changes in preparation for numb-preview