add mp3 to partial fix - SL #3933 #4465

A previous patch 4bc0218 made the embedded audio player buttons larger
for OGG files.

This patch extends that to MP3 files.
replace icon_size with pixel_size
Add button & mechanism for export page as pdf
Pep8 fixes
Pyflakes fixes

Remove unuseed imports and dead code