github-actions[bot]
commented
2 weeks ago Hello @govoni, thanks for the issue report! We are reviewing your report and will address it as soon as possible.
Open govoni opened 2 weeks ago
github-actions[bot]
commented
2 weeks ago Hello @govoni, thanks for the issue report! We are reviewing your report and will address it as soon as possible.
Description
If the text is zoomed to large, the red band on top covers the top-left menu key of the left column (this makes it impossible to close the left column summary, for example)
(Optional:) Please add any files, screenshots, or other information here.
No response
(Required) What is this issue most closely related to? Select one.
Other
Internal issue ID
d174cfd4-faf9-46fa-8a66-daf1822fb04b
Paper URL
https://arxiv.org/html/2009.10862v5
Browser
Chrome/130.0.0.0
Device Type
Desktop