diff --git a/docs/finn/_build/doctrees/environment.pickle b/docs/finn/_build/doctrees/environment.pickle
index a7171fc3fd93c8a6f37694a82589372376db62be..2292f60c0d33635b5ad7fb39a65581e0b0d6a40e 100644
Binary files a/docs/finn/_build/doctrees/environment.pickle and b/docs/finn/_build/doctrees/environment.pickle differ
diff --git a/docs/finn/_build/doctrees/getting_started.doctree b/docs/finn/_build/doctrees/getting_started.doctree
index e9019db1d85c87fb3b3acdc9844f9fb6046fd455..9136b78c0548a5e389c225a38fa0e56564deac03 100644
Binary files a/docs/finn/_build/doctrees/getting_started.doctree and b/docs/finn/_build/doctrees/getting_started.doctree differ
diff --git a/docs/finn/_build/html/_sources/getting_started.rst.txt b/docs/finn/_build/html/_sources/getting_started.rst.txt
index 1e9e2368f4815ffc40ca65a0a59f1e407a635104..b8147946866c4d03d6cf2fae0f9e6ed4acbc4a65 100644
--- a/docs/finn/_build/html/_sources/getting_started.rst.txt
+++ b/docs/finn/_build/html/_sources/getting_started.rst.txt
@@ -21,6 +21,7 @@ We use Docker extensively for developing and deploying FINN. If you are not fami
 Getting an interactive shell for development or experimentation
 ***************************************************************
 ::
+
   sh run_docker.sh
    
 Simply running sh run-docker.sh without any additional arguments will clone the dependency repos, create a Docker container and give you a terminal with you can use for development for experimentation.
@@ -32,6 +33,7 @@ Simply running sh run-docker.sh without any additional arguments will clone the
 Running the Jupyter notebooks
 *****************************
 ::
+
   sh run-docker.sh notebook
 
 This will launch the Jupyter notebook server inside a Docker container, and print a link on the terminal that you can open in your browser to run the FINN notebooks or create new ones. 
@@ -43,6 +45,7 @@ The run-docker.sh script forwards ports 8888 for Jupyter and 8081 for Netron, an
 Running the test suite directly
 *******************************
 ::
+  
   sh run-docker.sh test
 
 FINN comes with a set of tests which can be launched using the command above. Note that some of the tests involve extra compilation and the entire test suite may take some time to complete.  
diff --git a/docs/finn/_build/html/getting_started.html b/docs/finn/_build/html/getting_started.html
index 17ab04f9ef4255d52173c0a0e97c0a4b3474b690..720cd82b5c2d6725f3105183e64aeecd86f2ff8b 100644
--- a/docs/finn/_build/html/getting_started.html
+++ b/docs/finn/_build/html/getting_started.html
@@ -179,10 +179,9 @@
 <p>We use Docker extensively for developing and deploying FINN. If you are not familiar with Docker, there are many excellent <a class="reference external" href="https://docker-curriculum.com/">online resources</a> to get started. There is a Dockerfile in the root of the repository, as well as a <cite>run-docker.sh</cite> script that can be launched in the following modes:</p>
 <div class="section" id="getting-an-interactive-shell-for-development-or-experimentation">
 <h3>Getting an interactive shell for development or experimentation<a class="headerlink" href="#getting-an-interactive-shell-for-development-or-experimentation" title="Permalink to this headline">¶</a></h3>
-<dl class="simple">
-<dt>::</dt><dd><p>sh run_docker.sh</p>
-</dd>
-</dl>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sh</span> <span class="n">run_docker</span><span class="o">.</span><span class="n">sh</span>
+</pre></div>
+</div>
 <p>Simply running sh run-docker.sh without any additional arguments will clone the dependency repos, create a Docker container and give you a terminal with you can use for development for experimentation.</p>
 <div class="admonition warning">
 <p class="admonition-title">Warning</p>
@@ -195,10 +194,9 @@
 </div>
 <div class="section" id="running-the-jupyter-notebooks">
 <h3>Running the Jupyter notebooks<a class="headerlink" href="#running-the-jupyter-notebooks" title="Permalink to this headline">¶</a></h3>
-<dl class="simple">
-<dt>::</dt><dd><p>sh run-docker.sh notebook</p>
-</dd>
-</dl>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sh</span> <span class="n">run</span><span class="o">-</span><span class="n">docker</span><span class="o">.</span><span class="n">sh</span> <span class="n">notebook</span>
+</pre></div>
+</div>
 <p>This will launch the Jupyter notebook server inside a Docker container, and print a link on the terminal that you can open in your browser to run the FINN notebooks or create new ones.
 .. note:: The link will look something like this (the token you get will be different):
 <a class="reference external" href="http://127.0.0.1:8888/?token=f5c6bd32ae93ec103a88152214baedff4ce1850d81065bfc">http://127.0.0.1:8888/?token=f5c6bd32ae93ec103a88152214baedff4ce1850d81065bfc</a></p>
@@ -206,10 +204,9 @@
 </div>
 <div class="section" id="running-the-test-suite-directly">
 <h3>Running the test suite directly<a class="headerlink" href="#running-the-test-suite-directly" title="Permalink to this headline">¶</a></h3>
-<dl class="simple">
-<dt>::</dt><dd><p>sh run-docker.sh test</p>
-</dd>
-</dl>
+<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">sh</span> <span class="n">run</span><span class="o">-</span><span class="n">docker</span><span class="o">.</span><span class="n">sh</span> <span class="n">test</span>
+</pre></div>
+</div>
 <p>FINN comes with a set of tests which can be launched using the command above. Note that some of the tests involve extra compilation and the entire test suite may take some time to complete.</p>
 </div>
 <div class="section" id="running-the-test-suite-using-jenkins">
diff --git a/docs/finn/getting_started.rst b/docs/finn/getting_started.rst
index 1e9e2368f4815ffc40ca65a0a59f1e407a635104..b8147946866c4d03d6cf2fae0f9e6ed4acbc4a65 100644
--- a/docs/finn/getting_started.rst
+++ b/docs/finn/getting_started.rst
@@ -21,6 +21,7 @@ We use Docker extensively for developing and deploying FINN. If you are not fami
 Getting an interactive shell for development or experimentation
 ***************************************************************
 ::
+
   sh run_docker.sh
    
 Simply running sh run-docker.sh without any additional arguments will clone the dependency repos, create a Docker container and give you a terminal with you can use for development for experimentation.
@@ -32,6 +33,7 @@ Simply running sh run-docker.sh without any additional arguments will clone the
 Running the Jupyter notebooks
 *****************************
 ::
+
   sh run-docker.sh notebook
 
 This will launch the Jupyter notebook server inside a Docker container, and print a link on the terminal that you can open in your browser to run the FINN notebooks or create new ones. 
@@ -43,6 +45,7 @@ The run-docker.sh script forwards ports 8888 for Jupyter and 8081 for Netron, an
 Running the test suite directly
 *******************************
 ::
+  
   sh run-docker.sh test
 
 FINN comes with a set of tests which can be launched using the command above. Note that some of the tests involve extra compilation and the entire test suite may take some time to complete.