diff --git a/assets/css/get-framac.css b/assets/css/get-framac.css index 6abb270b556d6d9d4227bf2f968acc89b262fdb4..2365a7f4a8cd20f84b6fb4a337794a982d20e5e4 100644 --- a/assets/css/get-framac.css +++ b/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 +} diff --git a/html/contact.html b/html/contact.html index 610886ed507dd39c2f622d3396ef365c65d292d4..2f71945212aeac4453a00f1000ba2847dffb3344 100644 --- a/html/contact.html +++ b/html/contact.html @@ -188,7 +188,7 @@ function(err, data) { Twitter </div> <div class="description"> - @frama-c + @frama_c </div> </a> </div> diff --git a/html/get-frama-c.html b/html/get-frama-c.html index beda85311d7a071963d289a71c41ac0b80316e7c..10f07cb01394af844e9943e16825a77e87355018 100644 --- a/html/get-frama-c.html +++ b/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>