A proposal for CSS to let web developers control the behavior of font rendering