Page MenuHomePhabricator

[LoopTerminology] Make term names bold

Authored by baziotis on Mar 31 2020, 9:45 AM.



Simple but in my opinion important change. It helps when scanning through the terminology.

Diff Detail

Event Timeline

baziotis created this revision.Mar 31 2020, 9:45 AM
Herald added a project: Restricted Project. · View Herald TranscriptMar 31 2020, 9:45 AM
This revision is now accepted and ready to land.Apr 2 2020, 4:02 AM
This revision was automatically updated to reflect the committed changes.