* user component styling
* badge alignment
* selected checkbox label color
* add commit node custom icon
* fix translation key
* cleaner badge centering
* clean up last comment spacing
* style cleanup, badges for revision/comment count
* button styling
* fix tags styling
this supercedes the fix by jacob
* divider icon positioning
* correct help text
* remove docs module
* updated help text and other tweaks
* WIP: add heading and subheading to all modals
Co-authored-by: Rijk van Zanten <rijkvanzanten@me.com>