fix

wxiaoguang · wxiaoguang · commit a03d597d4c3d · 2023-11-07T08:58:05.000+08:00
diff --git a/web_src/css/repo.css b/web_src/css/repo.css
@@ -3075,8 +3075,12 @@ tbody.commit-list {
 }
 
 .commit-status-header {
-  border: none !important; /* reset the default ".ui.attached.header" styles, to use the outer border */
-  margin: 0 !important;
+  /* reset the default ".ui.attached.header" styles, to use the outer border */
+  border: none !important;
+  /* add a bottom border to make sure the there is always a divider between the header and list when the list is scrolling */
+  border-bottom: 1px solid var(--color-secondary) !important;
+  /* use negative margin to avoid the newly added border conflict with the list's top border */
+  margin: 0 0 -1px 0 !important;
 }
 
 .commit-status-list {

Original file line number	Diff line number	Diff line change
`@@ -3075,8 +3075,12 @@ tbody.commit-list {`
`3075`	`3075`	`}`
`3076`	`3076`
`3077`	`3077`	`.commit-status-header {`
`3078`		`- border: none !important; /* reset the default ".ui.attached.header" styles, to use the outer border */`
`3079`		`- margin: 0 !important;`
	`3078`	`+ /* reset the default ".ui.attached.header" styles, to use the outer border */`
	`3079`	`+ border: none !important;`
	`3080`	`+ /* add a bottom border to make sure the there is always a divider between the header and list when the list is scrolling */`
	`3081`	`+ border-bottom: 1px solid var(--color-secondary) !important;`
	`3082`	`+ /* use negative margin to avoid the newly added border conflict with the list's top border */`
	`3083`	`+ margin: 0 0 -1px 0 !important;`
`3080`	`3084`	`}`
`3081`	`3085`
`3082`	`3086`	`.commit-status-list {`