Timo Bejan ce56fe5f1b Pull request #47: Ui updates
Merge in RED/ui from ui-updates to master

* commit '1e8382018d2fbfbe9cc5d2063feaa89c6ba824a7':
  Collapsible project details
  Fixed breadcrumb arrows
  Bolder active annotation and page border
2020-11-26 21:19:42 +01:00
..
2020-11-26 21:19:42 +01:00
2020-09-17 13:52:33 +03:00