clarified rendering;
authorwenzelm
Wed Mar 08 10:29:40 2017 +0100 (2017-03-08)
changeset 65150fa299b4e50c3
parent 65149 9dccbebf4511
child 65151 a7394aa4d21c
clarified rendering;
src/Pure/PIDE/rendering.scala
     1.1 --- a/src/Pure/PIDE/rendering.scala	Wed Mar 08 10:25:47 2017 +0100
     1.2 +++ b/src/Pure/PIDE/rendering.scala	Wed Mar 08 10:29:40 2017 +0100
     1.3 @@ -276,7 +276,7 @@
     1.4                  }
     1.5                case (_, Text.Info(_, XML.Elem(Markup.Markdown_Item(depth), _))) =>
     1.6                  val color =
     1.7 -                  depth match {
     1.8 +                  depth % 4 match {
     1.9                      case 1 => Rendering.Color.markdown_item1
    1.10                      case 2 => Rendering.Color.markdown_item2
    1.11                      case 3 => Rendering.Color.markdown_item3