Lately I am in a search for converting some web pages to pdf. There are a lot of options, ways to do this. I tried a simple and working one for my case, because there are lots of mathematical symbols on the web page. As you might guess, not all of web page converters are good at math.
Thanks to this post, I found an easy and powerful way. I used Chrome, but I believe this can be done with no hassle with Firefox. Both of the browsers allow saving a web page as a pdf file seamlessly. But in my case I wished to decrease web page's font size a little, to make it fancy looking. I tried zooming out options installed in browser with no help. Because as you might know, those options are futile when printing the page.
I must have found a way to interfere printing progress to make font size smaller. This extension Stylish, which I wasnt aware till I read the post in stackoverflow's site, make this easy. As suggested by the poster I have added some css instructions by using Stylish. It was so simple, just a line made the job.
@media print { body {font-size: x-small ; } ;}
I have added this line to stylish and when I was printing web page to pdf, this line is activated and I was happy.
Story didnt stop here. I realised later that Chrome adds web address and page numbers as headers and footer to pdf file. You can easily disable them but can not customize them. Namely I wished only page numbers appear on pdf file not the web adress it is originated. After some search I understood that this is not possible with the version of Chrome I am using (actually not possible with any Chrome) so I must switch to my old friend Firefox. Because it has the feature enable customizing headers and footers. Later of course I needed to install Stylish extension to Firefox. But as you guessed it, it was just a click away. So the story seems to end here.
BTW let me mention also a Google service which seems to be helpful when converting web pages to pdf files, Google Cloud print. It has some other features which I dont want to learn. But here is a good place to mention.
