On Wed, 22 Apr 2015, Henrik Levkowetz wrote:
Here's a strawman using @media queries: http://zin.tools.ietf.org/pt/draft-ietf-idr-error-handling-19-responsive.html Comments on this one are very welcome.
My wish is that the font size will be the same on my desktop browser as the one it will choose for displaying a .txt file in the browser. That way I will get identical text size for RFCs regardless if I look at a txt version or html version.
Basically, I wish my entire web experience worked like this (which it has historically) bit it's getting destroyed by a trend by web sites to go for larger and larger fonts, which I guess is driven by the same goal that you had, ie for things to look better on tablets and phones.
But if I have to choose, then I much prefer the responsive version over the 12pt version. Responsive is either very similar to txt or one font size bigger than txt, and it works reasonably well on all devices. 12pt is just way too big.
-- Mikael Abrahamsson email: swmike@xxxxxxxxx