OK, that was really weird. I went into my network setitngs again, and noticed that my IP address was now xxx.xxx.x.102 according to my ipconfig instead of xxx.xxx.x.100 that the network has. Now I can get online.

Bizarre.