Prompt.hs: increase font size to 12 from niggardly 10
Prompt.hs: increase font size to 12 from niggardly 10

Ignore-this: 74a6e1ac5e1774da4ffc7c6667c034c

darcs-hash:20081119212523-f7719-cc653aa8350ad0b923837186bdeef802b016806f

kmels/xmonad-launcher,kmels/xmonad-launcher