Which Bootstrap theme is this?  I didn't notice anything visually different on your fork.  

If it's not affecting anything, then you shouldn't need to include any new CSS, as we're already including the regular Bootstrap CSS.