2021-07-30 00:33:54 +00:00
|
|
|
.error-page preferencespage { margin: 30px; }
|
|
|
|
|
2020-04-15 18:27:15 +00:00
|
|
|
.expander { padding: 12px; }
|
|
|
|
.expander.expanded { border: 0 solid @borders; border-bottom-width: 1px; }
|
2020-04-15 18:27:15 +00:00
|
|
|
.expander-toolbar {
|
|
|
|
border: 0 solid @borders;
|
|
|
|
border-top-width: 1px;
|
|
|
|
padding: 3px;
|
|
|
|
}
|