Hi taddendum,
I would do a simple diff (tortoise SVN is handy) to see if your aspx files are somehow different from the downloaded ones.
If they are somewhat the same, I suspect that it might be somehow related to your browser caching old CSS files. I highly doubt this though because you say that you're restarting your dev server after code changes.
I guess what's important is that the problem's resolved. Have fun reading rest of the book.
Good luck!
S.