random patches

random things that seem to work on my machine, have to run now so will clean later just FYI
Ah, and for the dynamic size, it allows to change/inject CSS and still have the resizing correct. I guess having a extension in custom.js that allow to select terminal fontsize for presentation make sens, for now I just change it in chrome inspector, and it was just unusable with bigger font.