How important are these style changes? Generally I'd like to minimize the amount we overload Bootstrap so we don't have to do work to maintain it :)