Eugen Rochko a96181f16f
Redesign profile column in web UI to match design on public pages (#10337)
* Redesign profile column in web UI to match design on public pages

* Make the tab links text bolder
2019-03-26 00:36:25 +01:00
..
2019-02-02 12:25:04 +01:00
2018-04-18 16:50:19 +02:00
2017-09-30 04:29:56 +02:00
2017-06-10 15:06:50 +02:00
2017-08-29 17:06:19 +02:00