src/Tools/jEdit/dist-template/etc/isabelle-jedit.css

observe additional isabelle-jedit.css for component and user;
visial separation of message divs;

/* additional style file for Isabelle/jEdit output */

pre.message { margin-top: 0.3ex; background-color: #F0F0F0; }