2019-04-01 12:39:49 +02:00
|
|
|
.dashboard,
|
2018-08-17 16:19:25 +02:00
|
|
|
.dashboard-next {
|
|
|
|
|
.activity-metrics .counters-list {
|
|
|
|
|
font-size: $font-down-1;
|
|
|
|
|
}
|
2019-01-23 14:35:53 -05:00
|
|
|
.navigation a.navigation-link {
|
|
|
|
|
padding: 0.5em;
|
|
|
|
|
}
|
2018-08-17 16:19:25 +02:00
|
|
|
}
|
