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