diff -r 3070d72f54af -r 0e36bb75a732 docs/html/configuration.html
--- a/docs/html/configuration.html	Sat Aug 05 13:35:27 2017 +0200
+++ b/docs/html/configuration.html	Sun Aug 06 14:41:20 2017 +0200
@@ -4,7 +4,7 @@
   <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   <meta http-equiv="Content-Style-Type" content="text/css" />
   <meta name="generator" content="pandoc" />
-  <title></title>
+  <title>Configuration</title>
   <style type="text/css">code{white-space: pre;}</style>
   <link rel="stylesheet" href="davdoc.css" type="text/css" />
 </head>
@@ -64,7 +64,9 @@
 
 <!-- begin content -->
 <div class="content">
-<h1 id="configuration">Configuration</h1>
+<div id="header">
+<h1 class="title">Configuration</h1>
+</div>
 <p>The main configuration file for <em>dav</em> is <code>$HOME/.dav/config.xml</code> and is used for configuring repositories, proxies and encryption keys. This configuration is also used by <em>dav-sync</em>. The file is created automaticaly if it doesn't exist.</p>
 <p>The <em>config.xml</em> file is an XML file with <code>&lt;configuration&gt;</code> as root element. The <code>&lt;configuration&gt;</code> element can have the following child elements: <code>&lt;repository&gt;</code>, <code>&lt;http-proxy&gt;</code>, <code>&lt;https-proxy&gt;</code>, <code>&lt;key&gt;</code></p>
 <h2 id="repository">repository</h2>