Merge 0e00aa57c798e44fe9e85c7dcdc19e8d5501ebed into efe4cb45161be836d602d5cd0f857e62661dae8b

This commit is contained in:
Shahid Parvez 2023-08-30 22:32:03 +08:00 committed by GitHub
commit be0ac4f6ce
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -254,6 +254,9 @@
} }
.toc { .toc {
position: sticky;
top: .2rem;
z-index: 100;
margin: 0 2px 40px 2px; margin: 0 2px 40px 2px;
border: 1px solid var(--border); border: 1px solid var(--border);
background: var(--code-bg); background: var(--code-bg);