This is no longer needed since the `+tether($themePrefix: "tooltip")` line adds this