re-write splitter, because jquery.layout/jquery.splitter seem broken on MacOS now