[Ivette] Text in the EvaSummary component is now selectable

ivette/src/frama-c/plugins/eva/summary.css

@@ -3,6 +3,11 @@
     background-color: white;
     height: 100%;
     overflow: auto;
+    user-select: text;
+}
+
+.eva-summary * {
+    user-select: auto;
 }
 
 .eva-summary span {