Merge branch 'fix/ivette/toolbar-suggestions-z-index' into 'master'

[ivette] ensure toolbar suggestions box is on top of Dive's legend

See merge request frama-c/frama-c!4646

ivette/src/dome/renderer/frame/style.css

@@ -505,7 +505,7 @@
   overflow-x: hidden;
   overflow-y: auto;
   max-height: 120px;
-  z-index: +1;
+  z-index: +10;
   width: 0px;
   background: var(--background-alterning-odd);
 }