diff --git a/assets/css/get-framac.css b/assets/css/get-framac.css
index bc191c13d1565c8a5283adebc617c8e1ba1e0c53..2af58a208bcb6034e82f35a648ec4ad0efa6844c 100644
--- a/assets/css/get-framac.css
+++ b/assets/css/get-framac.css
@@ -212,36 +212,36 @@
 }
 
 .shell-linux {
-    background:black;
-    color:#d1d1d1;
+  background:black;
+  color:#d1d1d1;
 }
 .shell-linux-comment {
-    background:black;
-    color:#9999a9;
+  background:black;
+  color:#9999a9;
 }
 .shell-mac {
-    color:#000020;
-    background:#f6f8ff;
+  color:#000020;
+  background:#f6f8ff;
 }
 .shell-mac-comment {
-    color:#595979;
+  color:#71a27f;
 }
 .shell-win {
-    color:#ffffff;
-    background:#000080;
+  color:#ffffff;
+  background:#000080;
 }
 .shell-win-comment {
-    color:#c0c0c0;
+  color:#c0c0c0;
 }
 
 @media (min-width:  1024px) {
-    .shell-linux {
-        font-size: large;
-    }
-    .shell-mac {
-        font-size: large;
-    }
-    .shell-win {
-        font-size: large;
-    }
+  .shell-linux {
+    font-size: large;
+  }
+  .shell-mac {
+    font-size: large;
+  }
+  .shell-win {
+    font-size: large;
+  }
 }
diff --git a/assets/css/main.css b/assets/css/main.css
index 086c170950643c15bbef1d7826394c6fdf4d32b2..989a8cd4db83022f4350dbd42d2786fdeefe41c5 100644
--- a/assets/css/main.css
+++ b/assets/css/main.css
@@ -6,7 +6,7 @@
 
 pre {
 	background-color: floralwhite;
-	white-space: pre-wrap;
+	white-space: pre;
 	border: 1px cornsilk inset;
 	border-radius: 5px;
 	box-shadow: inset 0 0 .2em darkgray;
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index bc3cbc62db582b69a227b295b6962dd996843f36..7735722539d20200b45b8e0f008ff446efff2d37 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -30,7 +30,8 @@ title: Get Frama-C
                   <pre class="shell-linux">
 <span class="shell-linux-comment"># 1. Install <a href="https://opam.ocaml.org/">opam</a> (OCaml package manager)</span>
 sudo apt install opam <span class="shell-linux-comment"># or dnf, pacman, etc.</span>
-<br>
+
+
 <span class="shell-linux-comment"># 2. Install Frama-C's dependencies</span>
 opam install depext
 opam depext frama-c
@@ -42,16 +43,17 @@ opam install frama-c</pre>
                 <div class="codeTab tab-mac hide">
                   <pre class="shell-mac">
 <span class="shell-mac-comment"># 1. Install <a href="https://brew.sh/">Homebrew</a></span>
+
 <span class="shell-mac-comment"># 2. Install required dependencies for Frama-C</span>
-brew install gmp gtk+ gtksourceview libgnomecanvas
+brew install opam gmp gtk+ gtksourceview libgnomecanvas
 
-<span class="shell-mac-comment"># 3. Configure the graphical library</span>
+<span class="shell-mac-comment"># 3. Configure GTK library</span>
 export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/libxml2/lib/pkgconfig:/usr/local/lib/pkgconfig
 
 <span class="shell-mac-comment"># 4. Install recommended dependencies for Frama-C</span>
-brew install graphviz
+brew install graphviz zmq
 
-<span class="shell-mac-comment"># 5. Install Frama-C</span>
+<span class="shell-mac-comment"># 5. Finally install Frama-C</span>
 opam install frama-c</pre>
                 </div>