- added infocom emulation theme