Fixies

* change default server to `irc.freenode.net` to work around issue #75.
* fix some mobile issues with classic and paper themes.