fix user highlighting with Bootstrap theme