upstream #1

Merged
jblu merged 1007 commits from upstream into main 2024-11-04 22:35:57 -06:00
Showing only changes of commit 81a2bb554c - Show all commits

View File

@ -29,3 +29,7 @@ input:-webkit-autofill:focus {
background-color 600000s 0s, background-color 600000s 0s,
color 600000s 0s; color 600000s 0s;
} }
.katex-display {
overflow: auto hidden;
}