Set some idris-mode faces