2020-06-17 10:25:54 +01:00
|
|
|
%definition-table > dl {
|
2020-09-09 09:12:56 +01:00
|
|
|
display: grid;
|
|
|
|
|
grid-template-columns: 140px auto;
|
|
|
|
|
grid-gap: 0.4em 20px;
|
2020-06-17 10:25:54 +01:00
|
|
|
}
|
2020-10-05 15:02:15 +01:00
|
|
|
%definition-table .copy-button {
|
|
|
|
|
float: left;
|
|
|
|
|
}
|
