The theme that CiviCRM uses is the one!
I did not work on the site, but looking at the source code from View Source in the browser, it looks like the Bootstrap theme was the main theme, and then they created a subtheme called "civicrm_bootstrap" off of that.