To customize the theme, you can go to:
http://getbootstrap.com/customize/?id=7807697
If the custom values are not there anymore, fill in the variables from
config.json.
Click on "Compile and Download" and replace bootstrap.min.css in this folder
with the one from the downloaded zip.