Citation Explorer: minor styling changes

This commit is contained in:
Adomas Venčkauskas 2025-09-29 11:31:55 +03:00
parent 87f9173c2d
commit 4fd753f822

View file

@ -26,18 +26,18 @@
.citation-explorer-grid-left {
border-right: var(--material-border-quarternary);
}
.grid-padded-section {
padding: 8px 16px;
}
}
#citations-label, #items-in-bibliography-label {
padding-top: 16px !important;
padding: 16px 16px 8px;
align-content: center;
font-size: 15px;
font-weight: 600;
}
.searchbox-container {
padding: 0 16px 8px;
}
.virtualized-table-container {
height: 100%;
@ -65,6 +65,7 @@
border-radius: 5px;
display: inline-block;
background: #59ADC44D;
margin-left: 4px;
}
&.selected .cell .badge {
@ -76,6 +77,7 @@
.button-container {
border-bottom: var(--material-border-quarternary);
display: flex;
padding: 8px 16px;
}
.diff-deleted {
@ -89,7 +91,7 @@
@media (-moz-platform: macos) {
.citation-explorer-grid {
margin: -16px;
margin: -14px;
}
.button-container {