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.

     1

use mio;

     2

     3

pub const PROTOCOL_VERSION : u32 = 3;

     4

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