Added within-query profiling hover, removed need to reopen database by adding disconnect-handler, fine-tunned output for CSS, added highlighting of problems in keys and execution times