Rendering nice unicode arrow for function types in UI.

This commit is contained in:
Evgeny Gerashchenko
2012-12-27 14:14:13 +04:00
parent c483a7f7cd
commit bc9f5da47e
4 changed files with 16 additions and 5 deletions
@@ -36,7 +36,7 @@ cannot be applied to</td>
<td align="right" style="white-space:nowrap;">
<font color=red>
<b>
(jet.Int) -&gt; ???</b>
(jet.Int) &rarr; ???</b>
</font>
</td>
<td style="white-space:nowrap;">