webpage fix

This commit is contained in:
Johann Dreo 2020-05-11 18:45:54 +02:00
commit cf07f88eba
2 changed files with 3 additions and 2 deletions

View file

@ -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>

View file

@ -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;
}