Delete works

The css has been re-hacked. I think I made it a little worse, but I did
eliminate the huge "options.js" file, and simplified things in the
process.