A proposal for CSS to let web developers control font timeout