diff --git a/index.html b/index.html
index 1e9bcdb34..91604d7f9 100644
--- a/index.html
+++ b/index.html
@@ -138,7 +138,7 @@
     For example, on Ubuntu 18.04: <code class="command">sudo apt install g++-8 cmake make libeigen3-dev libopenmpi-dev doxygen graphviz libgnuplot-iostream-dev</code></p>
 
     <p><em class="logo">Paradis<span class="logo_eo">eo</span></em> use the CMake build system, so building it should be as simple as:
-    <code class="command">mkdir build ; cd build ; cmake .. && make -j</code></p>
+    <code class="command">mkdir build ; cd build ; cmake -DEDO=ON .. && make -j</code></p>
 
     <p>For more details, see the <a href="#Builds">building <em class="logo">Paradis<span class="logo_eo">eo</span></em></a> section.</p>
     </div>
diff --git a/website/lightblue.css b/website/lightblue.css
index fa8056606..2a1d207e4 100644
--- a/website/lightblue.css
+++ b/website/lightblue.css
@@ -465,6 +465,7 @@ comment { display:none;  }
         grid-row-end:6;
         grid-column:2;
         height:110ch;
+        max-height:95vh;
     }
 
     /* RATIONALE */
@@ -682,7 +683,7 @@ comment { display:none;  }
 
     #History {
         display:grid;
-        grid-template-columns:30% 70%;
+        grid-template-columns:1fr 2fr;
         grid-gap:2em;
     }