2020-05-26 03:30:55 +01:00
|
|
|
@import "./Common/Constants";
|
|
|
|
|
|
|
|
.dataResourceTree {
|
|
|
|
margin-left: @MediumSpace;
|
2021-07-22 17:12:35 +01:00
|
|
|
overflow: auto;
|
2020-05-26 03:30:55 +01:00
|
|
|
|
|
|
|
.databaseHeader {
|
2023-04-03 17:41:40 +01:00
|
|
|
padding: 1px;
|
2020-05-26 03:30:55 +01:00
|
|
|
font-size: 14px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.collectionHeader {
|
|
|
|
font-size: 12px;
|
|
|
|
}
|
2023-03-30 22:53:36 +01:00
|
|
|
|
2023-07-11 10:14:58 +01:00
|
|
|
.sampleCollectionHeader {
|
|
|
|
margin-left: @MediumSpace;
|
|
|
|
font-size: 12px;
|
|
|
|
}
|
|
|
|
|
2023-03-30 22:53:36 +01:00
|
|
|
.loadMoreHeader {
|
|
|
|
color: RGB(5, 99, 193);
|
|
|
|
}
|
2020-05-26 03:30:55 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.notebookResourceTree {
|
|
|
|
margin-left: @MediumSpace;
|
|
|
|
|
|
|
|
.notebookHeader {
|
|
|
|
font-size: 12px;
|
|
|
|
}
|
2021-08-14 07:39:22 +01:00
|
|
|
|
|
|
|
.clickDisabled {
|
|
|
|
pointer-events: none;
|
|
|
|
}
|
2023-07-11 10:14:58 +01:00
|
|
|
}
|