[tor-commits] [metrics-db/master] Make table of contents a bit prettier.

[karsten at torproject.org]

commit 1f48f75b2e1b4db6d8785b3c7ec0aa67efa27056
Author: Karsten Loesing <karsten.loesing at 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> |
+<a href="#data-formats">Data Formats</a> |
+<a href="#automated-downloads">Automated Downloads</a> |
+<a href="#libraries">Parsing Libraries</a> |
+<a href="#related-work">Related Work</a> |
+<a href="#support">Support</a>
         </div><!-- col -->
       </div><!-- row -->