[nnbd_migration] use animation/delay to make tooltips easier to use

Change-Id: I7c32a091952b221037abcdb27b803834678219aa
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/127487
Commit-Queue: Mike Fairhurst <[email protected]>
Commit-Queue: Samuel Rawlins <[email protected]>
Auto-Submit: Mike Fairhurst <[email protected]>
Reviewed-by: Samuel Rawlins <[email protected]>

Author: MichaelRFairhurst

pkg/analysis_server/lib/src/edit/nnbd_migration/instrumentation_renderer.dart

@@ -191,6 +191,8 @@ h2 {
   white-space: normal;
   width: 400px;
   z-index: 1;
+  opacity: 0%;
+  transition: visibility 0s linear 500ms, opacity 200ms ease 300ms;
 }
 
 .region .tooltip > * {
@@ -199,16 +201,8 @@ h2 {
 
 .region:hover .tooltip {
   visibility: visible;
-}
-
-.region .tooltip::after {
-  /* Make a larger hover target once the tooltip appears. */
-  content: '';
-  position: absolute;
-  top: -1em;
-  height: 2em;
-  left: -1ch;
-  width: 3ch;
+  opacity: 100%;
+  transition: opacity 150ms;
 }
 
 .nav {