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