adjust Jenkinsfile

This commit is contained in:
Arne Teuke
2025-05-06 14:57:04 +02:00
parent b1fe3121cd
commit 0a8563da9f
20 changed files with 1 additions and 3287 deletions

View File

@@ -1,8 +0,0 @@
/* Ensure the search bar doesn't overlap with links */
.fixed_header {
padding-bottom: 25px;
}
#full_list {
padding-top: 15px;
}