doc: use a pointer cursor only if js is active
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 15:58:17 +0000 (10:58 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 15:58:17 +0000 (10:58 -0500)
commitd92a67087044c33087edb02d13a59b9c1cfb1da1
tree21d877f76b8558d6ad702e0cc243c34d1227c9bf
parent46a2d69a6f6fb5027246e56764cd6ab75c63d09b
doc: use a pointer cursor only if js is active
doc/assets/manual.css
doc/assets/manual.js