Fixes printing problems on Firefox, plus some cosmetic tweaks.