margin styling for <pre> tag in game controls