mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
11 lines
342 B
CSS
11 lines
342 B
CSS
/* This allows the link target to not be covered by the sticky-header; it works
|
|
* because the release page creates empty HTML anchors with id attributes above
|
|
* each header that is used to create an invisible barrier above the target */
|
|
a[id]:empty {
|
|
content:"";
|
|
display:block;
|
|
height:4.25rem;
|
|
margin-top:-4.25rem;
|
|
border:none;
|
|
}
|