Themes (Terminal): Added 0.3em of padding-left to '.✈terminal pre' since lots of the new fonts go right up against the very edge of the terminal making it difficult to select text without accidentally clicking on the browser window border (Note:  More a problem on Windows than anything else).
Playback plugin:  Removed some leftover (debugging) calls to console.log().