Report shows a 3rd party browser extension puts a banner at the top of page and awkwardly shifts nav; this fixes that (#17783)

This commit is contained in:
Phil Renaud 2023-06-30 17:09:42 -04:00 committed by GitHub
parent d559072e48
commit 5cc0b39683
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

3
.changelog/17783.txt Normal file
View File

@ -0,0 +1,3 @@
```release-note:improvement
ui: affix page header to the top of the browser window to handle browser extension push-down gracefully
```

View File

@ -12,6 +12,7 @@
position: fixed;
width: 100%;
z-index: $z-header;
top: 0;
// Defensive styles in case header height goes over 100px, causing
// the left gutter menu to be on top of the header.