You make a good point, but unfortunately we're already screwed in that regard. This copy of bootstrap.css came from http://bootswatch.com and was already heavily modified.

All other relevant css changes I've put into vwf.css. But since this "theme" was using a different font, I decided to update the fonts directly in bootstrap instead.