Restoring and documenting Bootstrap css customizations.