doc: revamp html manual nav panel
authorRamprasad Venkataraman <ramv@illinois.edu>
Thu, 2 Aug 2012 21:12:46 +0000 (16:12 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Thu, 2 Aug 2012 22:34:29 +0000 (17:34 -0500)
commitbcff4d0e70ca0c4cd267cece9b445da7917be004
tree7111499fdba3aacf32b00b98298c5101b7da0b68
parentb3ffa050c29c92e7b8003104e0123b7a763a14d9
doc: revamp html manual nav panel
doc/dot.latex2html-init
doc/manual.css