Different choice of bootstrap core CSS and bootstrap theme