docs + various polish

This commit is contained in:
Jacky Zhao
2023-07-09 19:32:24 -07:00
parent b06cf9bdac
commit 33c8c9c5f6
49 changed files with 1365 additions and 196 deletions

View File

@@ -31,6 +31,10 @@ button#toc {
max-height: none;
transition: max-height 0.5s ease;
&.collapsed > .overflow::after {
opacity: 0;
}
& ul {
list-style: none;
margin: 0.5rem 0;