fix formatting

diff --git a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
index bb70164936b7c628e3437610b5dbf93ac1a9622f..70b27582ec90788d0e1c766b0e1be0fc3cc8e680 100644 (file)
--- a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
+++ b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
@@ -37,15 +37,15 @@ title: Ubuntu Linux
 </p>
 <p>
   Follow these steps to install the latest version of Ardour.
-
-      1. Download the latest release from <a href="http://ardour.org/download">
-      ardour.org</a>.
-      2. Right-click the downloaded file and choose properties.
-      3. Click the `Permissions` tab and check the option `Allow this file to
-      run as a program`
-      4. Close the dialog and double-click the file.
-      5. Follow the prompts.
 </p>
+1. Download the latest release from <a href="http://ardour.org/download">
+ardour.org</a>.
+2. Right-click the downloaded file and choose properties.
+3. Click the `Permissions` tab and check the option `Allow this file to
+run as a program`
+4. Close the dialog and double-click the file.
+5. Follow the prompts.
+
 
 <h2>Problems with the interaction between PulseAudio and JACK</h2>