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 5b0b13c7f898cdb1c1d8ab95e5d335abbd3ea4ee..bb70164936b7c628e3437610b5dbf93ac1a9622f 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
@@ -38,13 +38,13 @@ title: Ubuntu Linux
 <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.
+      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>
 
 <h2>Problems with the interaction between PulseAudio and JACK</h2>