tree e1bdf38c544101121179dadf3845e2fb4746d7be
parent 5bb710b279b0d067134e5edde2f2b362afa5e525
author Akron <nils@diewald-online.de> 1639473130 +0100
committer Akron <nils@diewald-online.de> 1641918521 +0100

Improve styling of match references and match trees

Change-Id: Ibd09352dc4b825e147e83ee5c97fa87e8d5082d4