Our HTML5 client does not support printing. It should be investigated whether it is possible and if so what the best way to do it would be.
Google Docs creates a PDF when you print, we should probably do the same.
One drawback is that when the PDF opens (in Evince, Acrobat etc), the user needs to manually "print again" by pressing Ctrl-P or similar. According to