Fix incorrect size of Beach theme icons The icons had about double the required size. This caused a graphical glitch when selecting Beach and hand-drawn map.

use mio;

pub const PROTOCOL_VERSION : u32 = 3;
pub const SERVER: mio::Token = mio::Token(1000000000 + 0);