commit 1f48f75b2e1b4db6d8785b3c7ec0aa67efa27056 Author: Karsten Loesing karsten.loesing@gmx.net Date: Wed Oct 28 11:00:29 2015 +0100

Make table of contents a bit prettier.

Suggested by tomlurge. --- web/index.html | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-)

diff --git a/web/index.html b/web/index.html index 821351b..84649ac 100644 --- a/web/index.html +++ b/web/index.html @@ -73,15 +73,12 @@

<div class="row"> <div class="col-xs-12"> -<h1>Contents</h1> -<ul> -<li><a href="#available-descriptors">Available Descriptors</a></li> -<li><a href="#data-formats">Data Formats</a></li> -<li><a href="#automated-downloads">Automated Downloads</a></li> -<li><a href="#libraries">Parsing Libraries</a></li> -<li><a href="#related-work">Related Work</a></li> -<li><a href="#support">Support</a></li> -</ul> +<a href="#available-descriptors">Available Descriptors</a> &#124; +<a href="#data-formats">Data Formats</a> &#124; +<a href="#automated-downloads">Automated Downloads</a> &#124; +<a href="#libraries">Parsing Libraries</a> &#124; +<a href="#related-work">Related Work</a> &#124; +<a href="#support">Support</a> </div><!-- col --> </div><!-- row -->