override bootstrap in bootstrap-red

so theme developers are not forced to change anything