X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=web%2Fdocumentation.in.html;h=bd522d3be8985d53fe0e8981172d41b90cdb1843;hp=273f2fe444b3f6e233a45f0c56fc62057e73213f;hb=0c4a3b0f50cf6cdf21e13441b76b7bf963cd6876;hpb=0ab9a5b60510806e3c81df8c9b1ce29226ad94ff

diff --git a/web/documentation.in.html b/web/documentation.in.html
index 273f2fe4..bd522d3b 100644
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -1,5 +1,5 @@
-<h3><a name="documentation">Documentation</a></h3>
-<p>
+<h1>Documentation</h1>
+<hr>
 Have a look at this
 	<a href="overview.pdf">overview</a>,
 a pdf file containing a sketch which illustrates how the pieces of paraslash work
@@ -10,7 +10,7 @@ for general information (including a list of required software),
 for installation notes, and
 	<a href="README.mysql.html">README.mysql</a>
 for instructions on how to use the mysql audio file selector
-shipped with paraslash.</p>
+shipped with paraslash.
 <p>
 The various commands of para_server and para_audiod are explained in
 paraslash's