[Ivette] increase gutter bullets size and improve contrast

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

@@ -435,18 +435,18 @@ function createPropertiesNodes(): Editor.Aspect<Property[]> {
 // Bullet colors.
 function getBulletColor(status: States.Tag): string {
   switch (status.name) {
-    case 'unknown': return '#FF8300';
+    case 'unknown': return '#FFE62E';
     case 'invalid':
     case 'invalid_under_hyp': return '#FF0000';
     case 'valid':
-    case 'valid_under_hyp': return '#00B900';
+    case 'valid_under_hyp': return '#499E00';
     case 'considered_valid': return '#73bbbb';
     case 'invalid_but_dead':
     case 'valid_but_dead':
     case 'unknown_but_dead': return '#000000';
     case 'never_tried': return '#FFFFFF';
     case 'inconsistent': return '#FF00FF';
-    default: return '#FF8300';
+    default: return '#FFE62E';
   }
 }
 
@@ -457,10 +457,11 @@ class PropertyBullet extends Editor.GutterMarker {
   constructor(status?: States.Tag) {
     super();
     this.bullet = document.createElement('div');
-    this.bullet.innerHTML = '◉';
+    this.bullet.innerHTML = '⬤';
     if (status) {
       this.bullet.style.color = getBulletColor(status);
       this.bullet.style.textAlign = 'center';
+      this.bullet.style.webkitTextStroke = 'thin black';
       if (status.descr) this.bullet.title = status.descr;
     }
   }