Rename internal-user to zhdk-users in css