tree e29c850a2e75561e77e704794f79962ad216473d
parent b08ed46e8075a615b8a4e00a427d223ed099ec8b
author Marc Kupietz <kupietz@ids-mannheim.de> 1687976640 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1687976640 +0200

Make source code font weight 600

Change-Id: Ibfbe97d05ca9c05379e344c42f4d73c54a096e71