Added red theme for remote servers to avoid mistaking a remote for my local box