doc: provide visual hint to existence of pull down menu
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 21:58:14 +0000 (16:58 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 21:58:14 +0000 (16:58 -0500)
commita611761c3fa21c044bdfcf28b2659733e377c073
treeaef6f0632aa9e8b155e57671079686e4d6965aa9
parente57ff023b7be14e7afe75cb8e71c47da6cf35d4d
doc: provide visual hint to existence of pull down menu
doc/assets/manual.css
doc/assets/manual.js