# HG changeset patch # User wenzelm # Date 1275292061 -7200 # Node ID c4261f3bbdd7ec12a1178d07192ca2e313894beb # Parent 382a56c9f2958f48678bf76e6485a7fb411b2afb more flexibile font size via CSS