[Dillo-dev] release candidate for dillo-3.0.1 ready for testing

Benjamin wrote:

maybe set FL_NORMAL_SIZE a bit smaller, since the 14px default is frankly ridiculous.)

I think I'm with Axel on not liking to waste pixels on the tabs, and, as for FL_NORMAL_SIZE, I'll likely commit the patch that changes it based on font_factor, so if you have your font_factor small, you may get your wish. (As for me, I'm happy with 14px.)