[ivette] Style proposal for meter elements

ivette/src/frama-c/plugins/eva/CoverageMeter.tsx

@@ -40,7 +40,8 @@ export default function (props: {coverage: Coverage}) {
     <meter
       min={0}
       max={total}
-      low={0.8 * total}
+      low={0.50 * total}
+      high={0.85 * total}
       optimum={total}
       value={reachable}
     />

ivette/src/renderer/style.css

@@ -65,3 +65,34 @@
 .dome-window-active .labview-icon {
     fill: #7d7d7d ;
 }
+
+/* -------------------------------------------------------------------------- */
+/* --- Meters                                                             --- */
+/* -------------------------------------------------------------------------- */
+
+meter {
+    background: white;
+    border-radius: 5px;
+    box-shadow:
+        0 0 4px 4px rgba(0,0,0,0.15) inset;
+    height: 16px;
+    width: 70px;
+}
+
+meter::-webkit-meter-bar {
+    background: transparent;
+    border-radius: 5px;
+    height: 14px;
+}
+
+meter::-webkit-meter-optimum-value {
+    background: linear-gradient(to bottom, #4a0 0%, #8f0 20%, #4a0 100%);
+}
+
+meter::-webkit-meter-suboptimum-value {
+    background: linear-gradient(to bottom, #aa0 0%, #ff0 20%, #aa0 100%);
+}
+
+meter::-webkit-meter-even-less-good-value  {
+    background: linear-gradient(to bottom, #a40 0%, #f80 20%, #a40 100%);
+}