From 0a885d793d51a948b1f0d341da450b12ee769f9a Mon Sep 17 00:00:00 2001
From: Christina Toegl <toegl@tugraz.at>
Date: Wed, 30 Mar 2022 13:59:52 +0200
Subject: [PATCH] Change styling for tabulator placeholder
---
packages/common/styles.js | 2 ++
1 file changed, 2 insertions(+)
diff --git a/packages/common/styles.js b/packages/common/styles.js
index 45577e91..e7c50dcb 100644
--- a/packages/common/styles.js
+++ b/packages/common/styles.js
@@ -1547,10 +1547,12 @@ export function getTabulatorStyles() {
color: var(--dbp-muted);
font-size: 1rem;
font-weight: initial;
+ text-align: center;
}
.tabulator-placeholder {
border-top: 1px solid var(--dbp-muted);
+ padding-top: 10px;
}
.tabulator-row.no-select.tabulator-selected {
--
GitLab