Deployed e60ce252 to develop in public with MkDocs 1.6.1 and mike 2.1.3

public/develop/deployment_guide/deployment_guide/index.html

@@ -582,12 +582,14 @@ controller.</p>
 <h1 id="11-configure-your-machine">1.1. Configure your Machine</h1>
 <p>In this section, we describe how to configure a machine (physical or virtual) to be used as the deployment, execution, and development environment for the ETSI TeraFlowSDN controller. Choose your preferred environment below and follow the instructions provided.</p>
 <p><strong>NOTE</strong>: If you already have a remote physical server fitting the requirements specified in this section feel free to use it instead of deploying a local VM. Check <a href="#1-1-1-physical-server">1.1.1. Physical Server</a> for further details.</p>
-<p>Virtualization platforms tested are:
-  - <a href="#1-1-1-physical-server">1.1.1. Physical Server</a>
-  - <a href="#1-1-2-oracle-virtual-box">1.1.2. Oracle Virtual Box</a>
-  - <a href="#1-1-1-vmware-fusion">1.1.3. VMWare Fusion</a>
-  - <a href="#1-1-1-openstack">1.1.4. OpenStack</a>
-  - <a href="#1-1-1-vagrant-box">1.1.5. Vagrant Box</a></p>
+<p>Virtualization platforms tested are:</p>
+<ul>
+<li><a href="#1-1-1-physical-server">1.1.1. Physical Server</a></li>
+<li><a href="#1-1-2-oracle-virtual-box">1.1.2. Oracle Virtual Box</a></li>
+<li><a href="#1-1-3-vmware-fusion">1.1.3. VMWare Fusion</a></li>
+<li><a href="#1-1-4-openstack">1.1.4. OpenStack</a></li>
+<li><a href="#1-1-5-vagrant-box">1.1.5. Vagrant Box</a></li>
+</ul>
 <h2 id="111-physical-server">1.1.1. Physical Server</h2>
 <p>This page describes how to configure a physical server for running ETSI TeraFlowSDN(TFS) controller.</p>
 <h3 id="server-specifications">Server Specifications</h3>