Navbar Element Ordering is Strange #307
Description
- JPM and Spork come in the middle of the core-api, but should be after
- "string, table, misc, tuple" is neither alphabetic nor thematic
- adding some visual space between the home, docs, api, c-api unordered list could be nice e.g.
.toc > ul > li { margin: 1em 0 }and possibly.toc ul {list-style: none}