@import "ar5iv.0.8.5-99d3109f9b.css" layer(ar5iv);
@import "arxiv-html-papers-theme-20250131-0853f29b7d.css" layer(arxiv-theme);
@layer ar5iv, arxiv-theme;