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 594570fc497f1e1760fb9453de56b92cefe603d7..4f450448fd27bb2e33f47de0bd83ae4b4052bf2e 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
@@ -68,6 +68,9 @@ title: Ubuntu Linux
 
 <h4>Problems with the interaction between PulseAudio and JACK</h4>
 
+<dl>
+<dt>Background Info</dt>
+<dd>
 <p>
   Like many distributions, Ubuntu has decide to use PulseAudio as the
   default audio system. PulseAudio is a rich and capable system that
@@ -96,13 +99,15 @@ title: Ubuntu Linux
   another message, and PulseAudio can once again use the soundcard
   directly.
 </p>
+</dd>
+<dt>What is the problem?</dt>
+<dd>
 <p>
   This relatively simple system ought to be the basis for excellent
   cooperation between PulseAudio and JACK. Unfortunately, it relies on
   everything being correctly configured for it to work, and Ubuntu
   have repeatedly failed to get this configuration correct.
 </p>
-
 <p>
   The specific issues known at this time (spring 2013) are:
   <ul>
@@ -114,9 +119,9 @@ title: Ubuntu Linux
     <li>a bug that causes JACK to freeze up when told to stop, 
       causing issues with restarting</li>
   </ul>
-
-<h5>Symptoms</h5>
-
+</dd>
+<dt>Symptoms</dt>
+<dd>
 <p>
   <ul>
     <li>Cannot start JACK (though see the next section for other
@@ -125,8 +130,11 @@ title: Ubuntu Linux
     applications that use JACK.</li>
   </ul>
 </p>
-
-<h5>How to fix</h5>
+</dd>
+<dt>How to fix</dt>
+<dd>
+</dd>
+</dl>
 
 <h2>Problems with JACK configuration<h2>