

<HTML><BODY>What are parameters for high-DPI versions of gutter icons?<br><br>--<br>FTurtle<br><br></BODY></HTML>