src/Tools/jEdit/src/theories_dockable.scala

                 (st.running, PIDE.options.color_value("running_color")),
                 (st.warned, PIDE.options.color_value("warning_color")),
                 (st.failed, PIDE.options.color_value("error_color"))
               ).filter(_._1 > 0)
 
-            ((size.width - 1) /: segments)({ case (last, (n, color)) =>
-              val w = (n * ((size.width - 2) - segments.length) / st.total) max 4
+            ((size.width - 2) /: segments)({ case (last, (n, color)) =>
+              val w = (n * ((size.width - 4) - segments.length) / st.total) max 4
               paint_segment(last - w, w, color)
               last - w - 1
             })
 
           case _ =>

     {
       val status = overall_node_status(name)
       val color =
         if (status == Overall_Node_Status.failed) PIDE.options.color_value("error_color")
         else label.foreground
-      val thickness1 = if (status == Overall_Node_Status.pending) 1 else 3
-      val thickness2 = 4 - thickness1
+      val thickness1 = if (status == Overall_Node_Status.pending) 1 else 2
+      val thickness2 = 3 - thickness1
 
       label.border =
         BorderFactory.createCompoundBorder(
           BorderFactory.createLineBorder(color, thickness1),
           BorderFactory.createEmptyBorder(thickness2, thickness2, thickness2, thickness2))