Oliver Gorwits 9d70a7cf37 bug fix for unhidden legend list

2012-01-21 17:11:45 +00:00

..

device.js

bug fix for unhidden legend list

2012-01-21 17:11:45 +00:00

search.js

add sidebar hiding to search as well, and factor JS out to own file

2012-01-21 00:21:59 +00:00

sidebar.js

fix the sidebar

2012-01-21 01:28:27 +00:00