tuned rendering -- visual indication of the status range, to make more clear when information might is out of view;

--- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Apr 01 23:04:22 2014 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 02 11:08:16 2014 +0200
@@ -127,7 +127,7 @@
 
     val label = new Label {
       opaque = false
-      border = BorderFactory.createEmptyBorder()
+      border = BorderFactory.createLineBorder(Color.GRAY, 1)
       xAlignment = Alignment.Leading
 
       override def paintComponent(gfx: Graphics2D)