diff --git a/doc/eva/gui-images/RMB_click.svg b/doc/eva/gui-images/RMB_click.svg
index cba0c2382de460a64d7b05c493b8d4e90308a22a..e471964fbd4690cb79de5628b7e8f7ad77863594 100644
Binary files a/doc/eva/gui-images/RMB_click.svg and b/doc/eva/gui-images/RMB_click.svg differ
diff --git a/doc/eva/gui-images/gui-callstacks.svg b/doc/eva/gui-images/gui-callstacks.svg
index 6fd115f4dcff7eb9e20e641881fbc40487afa369..7483038e3070c473c87c28bb5e1b90bfde5a3d84 100644
Binary files a/doc/eva/gui-images/gui-callstacks.svg and b/doc/eva/gui-images/gui-callstacks.svg differ
diff --git a/doc/eva/gui-images/gui-values.svg b/doc/eva/gui-images/gui-values.svg
index 6ae024c15c0650a04c7883ce0b8767e52bf85ce3..1de99bcb0eb3f27d0f1400ea61b11d6a6d55bb24 100644
Binary files a/doc/eva/gui-images/gui-values.svg and b/doc/eva/gui-images/gui-values.svg differ
diff --git a/share/frama-c-icon.svg b/share/frama-c-icon.svg
index aa2484f04ab2501032e88239c25d97e563871032..4ce60915a2952ad4f826f30add29f7f1395d8c48 100644
Binary files a/share/frama-c-icon.svg and b/share/frama-c-icon.svg differ
diff --git a/share/theme/flat/considered_valid.svg b/share/theme/flat/considered_valid.svg
index 846c87a876dfc3ef4dbe1da89e89ee1aca1ddfdf..53b54b93609c1ef06ddf4ab20b0d190f4ccb8b08 100644
Binary files a/share/theme/flat/considered_valid.svg and b/share/theme/flat/considered_valid.svg differ
diff --git a/share/theme/flat/fold.svg b/share/theme/flat/fold.svg
index 83c9db304791dacbf85d6ab52ffef6371626092e..c0d637c9f6401bc216045a653e1abc9447f1b8a5 100644
Binary files a/share/theme/flat/fold.svg and b/share/theme/flat/fold.svg differ
diff --git a/share/theme/flat/inconsistent.svg b/share/theme/flat/inconsistent.svg
index 8c6e8e20bbff4a116444364234141e6d31e82994..376a92c7a06f6c13f714585358ac13b59dc26e0b 100644
Binary files a/share/theme/flat/inconsistent.svg and b/share/theme/flat/inconsistent.svg differ
diff --git a/share/theme/flat/invalid_but_dead.svg b/share/theme/flat/invalid_but_dead.svg
index 22aabae68dfb4456274747f3226be74fc955bf98..213778c2518ae09009fb9aabb5ce17a0045c816e 100644
Binary files a/share/theme/flat/invalid_but_dead.svg and b/share/theme/flat/invalid_but_dead.svg differ
diff --git a/share/theme/flat/invalid_under_hyp.svg b/share/theme/flat/invalid_under_hyp.svg
index f2a6d38864f5f660c2b122ff7365d53d7a8c2703..c054562a40e25c142ee1a55f1853796c0d2cb196 100644
Binary files a/share/theme/flat/invalid_under_hyp.svg and b/share/theme/flat/invalid_under_hyp.svg differ
diff --git a/share/theme/flat/never_tried.svg b/share/theme/flat/never_tried.svg
index 9135b30ba1196013874a86ef1479e59c057551d1..9430a47d7ec170e0805c2021690ffe6eb8e27901 100644
Binary files a/share/theme/flat/never_tried.svg and b/share/theme/flat/never_tried.svg differ
diff --git a/share/theme/flat/surely_invalid.svg b/share/theme/flat/surely_invalid.svg
index 13932815d17e1e6c5f7c718c87de5c5bb8accb39..4a04e4ace0b8d129832a3d17b43f5a6762df5680 100644
Binary files a/share/theme/flat/surely_invalid.svg and b/share/theme/flat/surely_invalid.svg differ
diff --git a/share/theme/flat/surely_valid.svg b/share/theme/flat/surely_valid.svg
index 75ee7577e43ef635c4e4d9e98bdcf4b153cd80d2..a8c65017dde7481beec7d2ed1f9243b74097131a 100644
Binary files a/share/theme/flat/surely_valid.svg and b/share/theme/flat/surely_valid.svg differ
diff --git a/share/theme/flat/unfold.svg b/share/theme/flat/unfold.svg
index c6a52d6c3fde411fbea5d9406372991bdf42d959..180a7eb4d5f2f406013dfed939918f82c1fc184d 100644
Binary files a/share/theme/flat/unfold.svg and b/share/theme/flat/unfold.svg differ
diff --git a/share/theme/flat/unknown.svg b/share/theme/flat/unknown.svg
index 026cb619c059c0f90c2c2b3ebbc72bb811394192..5a91544a10851fac14d712620fcb141769effb9f 100644
Binary files a/share/theme/flat/unknown.svg and b/share/theme/flat/unknown.svg differ
diff --git a/share/theme/flat/unknown_but_dead.svg b/share/theme/flat/unknown_but_dead.svg
index 06a2a560a2885a3f23cf2325148d63ba265ba00e..1402f0cba1163e1d8692a8e163865910176a664f 100644
Binary files a/share/theme/flat/unknown_but_dead.svg and b/share/theme/flat/unknown_but_dead.svg differ
diff --git a/share/theme/flat/valid_but_dead.svg b/share/theme/flat/valid_but_dead.svg
index d46e56ae406121b3f02f9b92fc90fd1729fb73dd..783a93c9b094f02ef34501e3ab0d4c0b3f4a3ac7 100644
Binary files a/share/theme/flat/valid_but_dead.svg and b/share/theme/flat/valid_but_dead.svg differ
diff --git a/share/theme/flat/valid_under_hyp.svg b/share/theme/flat/valid_under_hyp.svg
index 3d601acb951d464d0904c0f2c2718b6fd27b723f..0f700d11144025c2126dcb4020e980425d5350c2 100644
Binary files a/share/theme/flat/valid_under_hyp.svg and b/share/theme/flat/valid_under_hyp.svg differ