port 'pro' theme into my rc (set smaller panel height)