workaround chrome rendering bug

This commit is contained in:
ed 2021-11-16 21:28:36 +01:00
parent 6efb8b735a
commit 131b6f4b9a

View file

@ -44,8 +44,9 @@ pre, code, tt, #doc, #doc>code {
margin-left: -.7em; margin-left: -.7em;
} }
#files { #files {
border-spacing: 0;
z-index: 1; z-index: 1;
top: -.3em;
border-spacing: 0;
position: relative; position: relative;
} }
#files tbody a { #files tbody a {
@ -72,7 +73,7 @@ a, #files tbody div a:last-child {
} }
#files thead { #files thead {
position: sticky; position: sticky;
top: 0; top: -1px;
} }
#files thead a { #files thead a {
color: #999; color: #999;
@ -82,7 +83,7 @@ a, #files tbody div a:last-child {
background: #1c1c1c; background: #1c1c1c;
} }
#files thead th { #files thead th {
padding: 0 .3em .3em .3em; padding: .3em;
border-bottom: 1px solid #444; border-bottom: 1px solid #444;
cursor: pointer; cursor: pointer;
} }