LivelyKernel/LivelyKernel — pull request #272 by timfel (2014-10-02 16:59:15+00:00)
Title: fixes for IE11

This makes Lively kernel look nice in IE11.