new terminal font, and some changes in css
preparation for special key handling (like ctrl, alt, alt gr...)