Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove bold styling from "User" because it is not used for any of the other Definition: titles. Either that or (maybe better) apply bold to all the roles in the document.
- Loading branch information