tree 76dbcf01be1f45435686d23f8b3979b7b2df964e
parent 903104a8c4084e2cb245c5744c4d58f5c8bb10ea
author Marc Kupietz <kupietz@ids-mannheim.de> 1787215983 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1787215983 +0200

ids theme: bold section headings in slides menu

Change-Id: I589343912b8f82c2b1d197678d3ba723633c30bf