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 8de8fe31e018bef4ac00f0ac6d21f4a090d28732..0612f734bb45bd9a4882f33af769ab4985a0267f 100755
--- a/html/contact.html
+++ b/html/contact.html
@@ -95,6 +95,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">
@@ -107,6 +109,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">
@@ -119,6 +122,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">
@@ -131,7 +135,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">
@@ -144,6 +148,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">
@@ -156,14 +161,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>