-
+ |
|
- ${user.id}
+ ${user.id}
|
- ${user.fullName}
+ ${user.fullName}
|
From 3b38fefdb2981e2287b089013a862559ce1cad11 Mon Sep 17 00:00:00 2001
From: Jan Faracik <43062514+janfaracik@users.noreply.github.com>
Date: Fri, 4 Feb 2022 20:11:46 +0000
Subject: [PATCH 5/6] Update CSS to use border spacing over actual borders for
improved corner radius
---
war/src/main/less/abstracts/theme.less | 2 +-
war/src/main/less/modules/table.less | 16 ++++++----------
2 files changed, 7 insertions(+), 11 deletions(-)
diff --git a/war/src/main/less/abstracts/theme.less b/war/src/main/less/abstracts/theme.less
index dc3c3f95937f..8c36b64457c1 100644
--- a/war/src/main/less/abstracts/theme.less
+++ b/war/src/main/less/abstracts/theme.less
@@ -174,7 +174,7 @@
--table-body-background: white;
--table-body-foreground: black;
--table-border-radius: 10px;
- --table-row-border-radius: 6px;
+ --table-row-border-radius: 4px;
// Deprecated
--even-row-color: var(--very-light-grey);
diff --git a/war/src/main/less/modules/table.less b/war/src/main/less/modules/table.less
index 68458ce106ec..1a6762c4979c 100644
--- a/war/src/main/less/modules/table.less
+++ b/war/src/main/less/modules/table.less
@@ -1,11 +1,12 @@
.jenkins-table {
+ --table-padding: 0.55rem;
+
width: calc(100% - 10px);
background: var(--table-background);
- border-collapse: collapse;
- border-radius: var(--table-border-radius);
- box-shadow: 0 0 0 5px var(--table-background);
- margin: 5px;
- --table-padding: 0.55rem;
+ border-radius: calc(var(--table-border-radius) + 2px);
+ border: 5px solid var(--table-background);
+ border-bottom-width: 3px;
+ border-spacing: 0 2px;
* {
-webkit-border-horizontal-spacing: 0;
@@ -51,7 +52,6 @@
& > tr {
background: var(--table-body-background);
color: var(--table-body-foreground);
- border-bottom: 2px solid var(--table-background);
& > td {
vertical-align: middle;
@@ -68,10 +68,6 @@
}
}
- &:last-of-type {
- border-bottom: none;
- }
-
// Style the rows so that the first and last have a larger border radius
& > td:first-of-type {
border-top-left-radius: var(--table-row-border-radius);
From c5c1df74242bbf383f1cdc8cb2764d9b4e82314d Mon Sep 17 00:00:00 2001
From: Jan Faracik <43062514+janfaracik@users.noreply.github.com>
Date: Fri, 4 Feb 2022 20:18:00 +0000
Subject: [PATCH 6/6] Fix table tooltip
---
war/src/main/less/base/style.less | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/war/src/main/less/base/style.less b/war/src/main/less/base/style.less
index d5d60bcd8da4..9e25bc3f9c39 100644
--- a/war/src/main/less/base/style.less
+++ b/war/src/main/less/base/style.less
@@ -717,6 +717,12 @@ table.parameters > tbody:hover {
table {
border-radius: 0;
min-width: 450px;
+ box-sizing: content-box;
+ padding-bottom: 2px;
+
+ * {
+ box-sizing: border-box;
+ }
}
}
|