docs now use bootstrap theme