2015-08-18 20:49:44 +02:00
|
|
|
.user {
|
|
|
|
padding-top: 15px;
|
|
|
|
padding-bottom: @footer-margin * 3;
|
2015-08-18 21:36:16 +02:00
|
|
|
|
|
|
|
&.settings {
|
|
|
|
.key.list {
|
2015-08-18 21:40:23 +02:00
|
|
|
.item.ui.grid {
|
|
|
|
margin-top: 15px;
|
2015-08-18 21:36:16 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-08-18 20:49:44 +02:00
|
|
|
}
|