From d86885b948f70f1e39c3675ab6c6a08d29cf6662 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Mon, 1 Apr 2013 11:41:23 -0400
Subject: [PATCH] more ubuntu edits

---
 .../01_ubuntu-linux.html                      | 20 +++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

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 594570f..4f45044 100644
--- 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>
 
-- 
2.37.2