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