Some padding tweaks in options and team editor pages. Fixes insane width of context menu of hog name line edit

use mio;

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