<div class="gmail_quote">
<div>GHC&#39;s icon is a little different from Hugs&#39; icon. However, your icon is prettier. WinGHCi&#39;s icon is nice too. Off course, it&#39;s just an opinion.</div>
<div> </div>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">
<div>
<div class="h5">-- <br>Daniel Díaz<br></div></div></blockquote></div>