diff --git a/assets/css/contact.css b/assets/css/contact.css
index 7fd33cbc1b1114c05a6679919ff72f7ecd6a3c88..5bc10d544bf0d90bf6edcc14f80a817a88ccad10 100644
--- a/assets/css/contact.css
+++ b/assets/css/contact.css
@@ -642,8 +642,7 @@
@media (min-width: 1280px) {
.usefulLinks li {
position: relative;
- width: 100%;
- padding-left: 90px;
+ width: 50%;
min-height: 69px;
padding-bottom: 0;
margin-bottom: 50px;
@@ -806,3 +805,8 @@
}
}*/
}
+
+.icon {
+ width: 26%;
+ height: 25%;
+}
\ No newline at end of file
diff --git a/assets/img/community/BTS_Mantis.png b/assets/img/community/BTS_Mantis.png
new file mode 100644
index 0000000000000000000000000000000000000000..9924054c5d507efff23307d118f210bf07202735
Binary files /dev/null and b/assets/img/community/BTS_Mantis.png differ
diff --git a/assets/img/community/github.png b/assets/img/community/github.png
new file mode 100644
index 0000000000000000000000000000000000000000..ea6ff545a246caa64074ba809bbc86fcb8589071
Binary files /dev/null and b/assets/img/community/github.png differ
diff --git a/assets/img/community/gitlab.png b/assets/img/community/gitlab.png
new file mode 100644
index 0000000000000000000000000000000000000000..35cb5e9dab01596bc9363aac8b2a4110e3599eef
Binary files /dev/null and b/assets/img/community/gitlab.png differ
diff --git a/assets/img/community/mails.png b/assets/img/community/mails.png
new file mode 100644
index 0000000000000000000000000000000000000000..8420f5215b8a70d8fc98389891a8f9e41b18b074
Binary files /dev/null and b/assets/img/community/mails.png differ
diff --git a/assets/img/community/stack_overflow.png b/assets/img/community/stack_overflow.png
new file mode 100644
index 0000000000000000000000000000000000000000..46cb8d4cada1a65465d6a7de0183ae73b71bfd90
Binary files /dev/null and b/assets/img/community/stack_overflow.png differ
diff --git a/assets/img/community/twitter.png b/assets/img/community/twitter.png
new file mode 100755
index 0000000000000000000000000000000000000000..b5eebc812d6bb83f2c60fc84548d4372d34e82a6
Binary files /dev/null and b/assets/img/community/twitter.png differ
diff --git a/html/contact.html b/html/contact.html
index 74e2fa59e88dd12bdc8826ed694f51b03fdcb53e..2602957e7d7bea50161f02e9817b6c78fee8c6b0 100755
--- a/html/contact.html
+++ b/html/contact.html
@@ -91,6 +91,8 @@ function(err, data) {
<div id="sidebar-content">
<ul class="side-feed">
+
+ <img class="icon" src="/assets/img/community/BTS_Mantis.png">
<li class="icon_1">
<a href="https://bts.frama-c.com/my_view_page.php" target="_blank">
<div class="slideCaption">
@@ -103,6 +105,7 @@ function(err, data) {
</a>
</li>
+ <img class="icon" src="/assets/img/community/stack_overflow.png">
<li class="icon_2">
<a href="https://stackoverflow.com/tags/frama-c/" target="_blank">
<div class="slideCaption">
@@ -115,6 +118,7 @@ function(err, data) {
</a>
</li>
+ <img class="icon" src="/assets/img/community/mails.png">
<li class="icon_3">
<a href="https://lists.gforge.inria.fr/pipermail/frama-c-discuss/" target="_blank">
<div class="slideCaption">
@@ -127,7 +131,7 @@ function(err, data) {
</a>
</li>
-
+ <img class="icon" src="/assets/img/community/github.png">
<li class="icon_4">
<a href="https://github.com/frama-c" target="_blank">
<div class="slideCaption">
@@ -140,6 +144,7 @@ function(err, data) {
</a>
</li>
+ <img class="icon" src="/assets/img/community/github.png">
<li class="icon_5">
<a href="https://github.com/acsl-language" target="_blank">
<div class="slideCaption">
@@ -152,14 +157,15 @@ function(err, data) {
</a>
</li>
+ <img class="icon" src="/assets/img/community/twitter.png">
<li class="icon_6">
- <a href="/html/careers.html" target="_blank">
+ <a href="https://twitter.com/frama_c" target="_blank">
<div class="slideCaption">
- Careers
+ Twitter
</div>
<div class="description">
- Career options at Frama-C.
+ @frama_c
</div>
</a>
</li>
diff --git a/index.html b/index.html
index b27e400bd5dd2a2d1cb059f9c324bbbe39777741..54b0260bb2fb7d1d56a63ed1389048b7b1dd98a1 100755
--- a/index.html
+++ b/index.html
@@ -97,7 +97,7 @@ title: Frama-C
<div class="codeScreen">
<div class="codeTab tab-demo">
<div style="background: #202020; overflow:auto;width:auto;border:solid transparent;">
-
+
<pre style="margin: 0; line-height: 125%; background: #202020;">
<span style="color: #6ab825; font-weight: bold">int</span> <span style="color: #d0d0d0">S=</span><span style=
"color: #3677a9">0</span><span style="color: #d0d0d0">;</span>
@@ -121,7 +121,7 @@ value analysis.</span></span></span></span></span>
<span style="color: #d0d0d0">}</span>
<span style="color: #d0d0d0"><span class="arrowTooltip left"><span><span class=
-"title"><b>01</b><span>This command-line creates an analysis project for file <samp>first.c</samp>.</span></span></span></span><u></u>frama-c-gui</span> <span style="color: #d0d0d0">-slevel</span> <span style="color: #3677a9">10<span class="tooltip">3</span></span> <span style="color: #d0d0d0">-val<span class="tooltip">2</span> <span style="color: #d0d0d0">first.c<span class="tooltip">1</span><span class="arrowTooltip right"><span><span class="title"><b>02</b><span>Option <samp>-val</samp> runs the Evolved Value Analysis plug-in and prepares its results.</span></span></span></span><u></u></span>
+"title"><b>01</b><span>This command-line creates an analysis project for file <samp>first.c</samp>.</span></span></span></span><u></u>frama-c-gui</span> <span style="color: #d0d0d0">-slevel</span> <span style="color: #3677a9">10<span class="tooltip">3</span></span> <span style="color: #d0d0d0">-eva<span class="tooltip">2</span> <span style="color: #d0d0d0">first.c<span class="tooltip">1</span><span class="arrowTooltip right"><span><span class="title"><b>02</b><span>Option <samp>-eva</samp> runs the Eva plug-in and prepares its results.</span></span></span></span><u></u></span>
</span>
</pre>
</div>