tree 52f90bd0c4ed4fdabdd5217476a14168a7942d02
parent 3356df7e32af4e94621313a5f05bb3baa14b6caa
author Adrià Vilanova Martínez <me@avm99963.com> 1625916526 +0200
committer Adrià Vilanova Martínez <me@avm99963.com> 1625916526 +0200

Dark theme: load Roboto Bold

In the dark theme, Roboto Bold (700) was not loaded, and this caused
bold text to not stand out. By adding the bold font, now bold text is
shown in real bold, which stands out a little bit more.

Change-Id: I6b2a6ccfb308cc9b6fd336a8cdf6146ca68e220d