tweaks to themes docs (bug 749302)