(If you have problems with this button,
use "File > Print" in your browser's menu)