Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/rendering.scala
changeset 65150 fa299b4e50c3
parent 65149 9dccbebf4511
child 65176 908d8be90533 
--- 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
isabelle