message: Hide tooltip-arrow
diff: @@ -80,13 +80,14 @@ select {
  /* Styles for the tooltips shown in the widget view. */
  .tooltip {
  - /* tooltips are _always_ dark. */
  color: var(--vscode-editorWidget-foreground);
  background: var(--vscode-editorWidget-background);
  padding: 4px 8px;
  font-size: 13px;
  border-radius: 4px;
  - box-shadow: 1px 1px 5px black;
  + box-shadow: 1px 1px 5px var(--vscode-widget-shadow);
  + border-color: var(--vscode-editorWidget-border);
  + border-width: 1px;
  }
  .tooltip-arrow,
  @@ -95,6 +96,7 @@ select {
  width: 8px;
  height: 8px;
  z-index: -1;
  + display: none; /* TODO: the arrow border is tricky to match, probably need an SVG shape instead */
  }
  .tooltip-arrow::before {
  