more ubuntu edits

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 e9f187bd4ed2bcee01bbde0fe1f4cc7371b90b14..cd698fefaa99c6f93ded60a2872f58234638d5be 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
@@ -3,8 +3,6 @@ layout: default
 title: Ubuntu Linux
 ---                        
 
-<h2>Ubuntu Linux</h2>
-
 <p>
   Ubuntu Linux is the most popular variety of Linux in use on desktop
   and laptop systems. It has the backing of a for-profit corporation
@@ -26,7 +24,7 @@ title: Ubuntu Linux
   </ul>
 </p>
 
-<h3>Problems with Ardour Packages</h3>
+<h2>Problems with Ardour Packages</h2>
 
 <dl class="faq">
 <dt>What is the problem?</dt>
@@ -63,7 +61,7 @@ title: Ubuntu Linux
 </dd>
 </dl>
 
-<h3>Problems with the interaction between PulseAudio and JACK</h3>
+<h2>Problems with the interaction between PulseAudio and JACK</h2>
 
 <dl>
 <dt>Background Info</dt>
@@ -133,7 +131,7 @@ title: Ubuntu Linux
 </dd>
 </dl>
 
-<h3>Problems with JACK configuration<h3>
+<h2>Problems with JACK configuration<h2>
 
 <dl class="faq">
   <dt>What is the problem?</dt>