UI font tweaks
commitd105a5c3ba26dd98827a4a8836d90ed3d69f0a0c
authormalc <av1474@comtv.ru>
Mon, 15 Aug 2011 15:17:25 +0000 (15 19:17 +0400)
committermalc <av1474@comtv.ru>
Mon, 15 Aug 2011 15:17:25 +0000 (15 19:17 +0400)
tree141d726554e2b59756fb841ca85a64e889a93f58
parent2f94d80a8378e4d342133dc860c24e2c0f1059d8
UI font tweaks
main.ml