Shim repository for the default theme for Bootstrap.