# HG changeset patch
# User wenzelm
# Date 1488965380 -3600
# Node ID fa299b4e50c38d343fc26a5d9f6d89af3c1325f9
# Parent  9dccbebf4511b23bbac5c3e6d6aeb43ba3cac61e
clarified rendering;

diff -r 9dccbebf4511 -r fa299b4e50c3 src/Pure/PIDE/rendering.scala
--- a/src/Pure/PIDE/rendering.scala	Wed Mar 08 10:25:47 2017 +0100
+++ b/src/Pure/PIDE/rendering.scala	Wed Mar 08 10:29:40 2017 +0100
@@ -276,7 +276,7 @@
                 }
               case (_, Text.Info(_, XML.Elem(Markup.Markdown_Item(depth), _))) =>
                 val color =
-                  depth match {
+                  depth % 4 match {
                     case 1 => Rendering.Color.markdown_item1
                     case 2 => Rendering.Color.markdown_item2
                     case 3 => Rendering.Color.markdown_item3