[ivette] fix empty global infos

ivette/src/frama-c/kernel/Globals.tsx

@@ -257,15 +257,15 @@ export default function Globals(): JSX.Element {
 
   const noFunction =
     <div className='dome-xSideBarSection-content'>
-      <label className='dome-xSideBarSection-info'>
-        {'There is no function to display.'}
+      <label className='globals-info'>
+        There is no function to display.
       </label>
     </div>;
 
   const allFiltered =
     <div className='dome-xSideBarSection-content'>
-      <label className='dome-xSideBarSection-info'>
-        {'All functions are filtered. Try adjusting function filters.'}
+      <label className='globals-info'>
+        All functions are filtered. Try adjusting function filters.
       </label>
       <Button {...filterButtonProps} label='Functions filters' />
     </div>;

ivette/src/frama-c/kernel/style.css

@@ -56,6 +56,14 @@
 /* --- Globals                                                            --- */
 /* -------------------------------------------------------------------------- */
 
+.globals-info {
+    color: var(--info-text-discrete);
+    font-style: italic;
+    padding-left: 20px;
+    padding-right: 10px;
+    display: block;
+}
+
 .globals-main label {
     text-decoration: underline;
 }