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

     1

use mio;

     2

     3

pub const PROTOCOL_VERSION : u32 = 3;

     4

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