f01bf88e69
* Don't hide page content when displaying search * Decrease sidebar animation time * Fix search key event handler which wasn't completely de-jqueryified. * Avoid reflowing page content on small screens This reduces jank caused by reflowing the page text while animating the sidebar, and it looks nicer. * Don't use HTMLParentNode.prepend() since edge doesn't support it yet * Don't animate menu border bottom color since it's the same color as the background, which isn't animated. * Small CSS improvments - Remove invalid `pointer: cursor` style - Disable transitions for noscript to stop page from spazzing on every load - Add `cursor: pointer` to mark - Disable `cursor: pointer` on noscript menu-title * JS fixes - Load MathJax async - Always use local fontawesome and clipboard.js - Move js class to html element to make theme switching easier * Give the print button a bit more margin |
||
|---|---|---|
| .. | ||
| elasticlunr.min.js | ||
| mark.min.js | ||
| mod.rs | ||
| searcher.js | ||