wlparker: add padding to the text boxes in PlayDeckGame. Change margins for text areas to 5 (down from 10).