Style for error messages; manipulate widgets in a Codemirror operation block; increase the error delay a little