tree ee22a125fa100792e261fd51ff41fd3cf91dc3ff
parent f1bac52fe28ba503c63c929d9d0711671273635f
author Scott Main <smain@google.com> 1256681355 -0700
committer Scott Main <smain@google.com> 1256687768 -0700

docs: add checkbox to toggle the api level filter on and off;
this includes some function renaming for the related scripts.

the checkbox will be unchecked by default, so any users
that currently have an api level filter selected will now
see all apis until they click the checkbox. the old api level
cookie is still saved the same, but the selected value will only
be applied if the checkbox is selected, which has its own cookie
for on or off.