Slightly undefaultify the bootstrap theme.