2022-12-14 16:51:53 -06:00
|
|
|
.spinner-border {
|
|
|
|
height: 25px;
|
|
|
|
width: 25px;
|
|
|
|
margin-top: 13px;
|
|
|
|
}
|
|
|
|
|
2022-12-17 09:39:06 -06:00
|
|
|
.rbf-trees {
|
2022-12-14 16:51:53 -06:00
|
|
|
.info {
|
|
|
|
display: flex;
|
|
|
|
flex-direction: row;
|
|
|
|
justify-content: space-between;
|
|
|
|
align-items: baseline;
|
|
|
|
margin: 0;
|
2022-12-17 09:39:06 -06:00
|
|
|
margin-bottom: 0.5em;
|
2022-12-14 16:51:53 -06:00
|
|
|
|
|
|
|
.type {
|
|
|
|
.badge {
|
|
|
|
margin-left: .5em;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-12-17 09:39:06 -06:00
|
|
|
.tree {
|
2022-12-14 16:51:53 -06:00
|
|
|
margin-bottom: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.timeline-wrapper.mined {
|
2024-04-06 15:48:35 +09:00
|
|
|
border: solid 4px var(--success);
|
2022-12-14 16:51:53 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
.no-replacements {
|
|
|
|
margin: 1em;
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
}
|