docs + various polish

This commit is contained in:
Jacky Zhao
2023-07-09 19:32:24 -07:00
parent 061ac027f5
commit 7c7e1f8dd5
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;