Merge branch 'improve-get-frama-c' into 'master'

Improve get frama c

See merge request !137

assets/css/get-framac.css

@@ -259,6 +259,11 @@
   color: #f0f090;
 }
 
+.shell-link {
+  font-weight: bold;
+  text-decoration: underline;
+}
+
 @media (min-width:  1024px) {
   .shell-linux {
     font-size: large;
@@ -276,4 +281,4 @@
 .otherVersion {
   font-size: 120%;
   margin-bottom: 30px;
-}
\ No newline at end of file
+}

html/contact.html

@@ -188,7 +188,7 @@ function(err, data) {
 		    		Twitter
 				</div>
 				<div class="description">
-					@frama-c
+					@frama_c
 				</div>
 			</a>
 		</div>

html/get-frama-c.html

@@ -34,7 +34,9 @@ opam install depext
 opam depext frama-c
 <br>
 <span class="shell-linux-comment"># 3. Install Frama-C itself</span>
-opam install frama-c</pre>
+opam install frama-c
+
+<span class="shell-linux-comment"># Issues? Problems? <a target="_blank" class="shell-link shell-linux" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">Click here for help/instructions</a></span></pre>
                 </div>
 
                 <div class="codeTab tab-mac hide">
@@ -51,7 +53,9 @@ export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml
 brew install graphviz zmq
 
 <span class="shell-mac-comment"># 5. Finally install Frama-C</span>
-opam install frama-c</pre>
+opam install frama-c
+
+<span class="shell-mac-comment"># Issues? Problems? <a target="_blank" class="shell-link shell-mac" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">Click here for help/instructions</a></span></pre>
                 </div>
 
                 <div class="codeTab tab-windows hide">
@@ -70,7 +74,9 @@ opam install -y depext
 opam depext --install -y lablgtk3 lablgtk3-sourceview3
 
 <span class="shell-win-comment"># 4. Install Frama-C</span>
-opam depext --install -y frama-c</pre>
+opam depext --install -y frama-c
+
+<span class="shell-win-comment"># Issues? Problems? <a target="_blank" class="shell-link shell-win" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">Click here for help/instructions</a></span></pre>
                 </div>
               </div>
             </div>