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
6 lines
241 B
Stylus
6 lines
241 B
Stylus
$sidebar-width = 300px
|
|
$page-padding = 15px
|
|
$content-max-width = 750px
|
|
$content-min-width = 320px
|
|
$page-plus-sidebar-width = $content-max-width + $sidebar-width + $page-padding * 2
|
|
$sidebar-reflow-width = $sidebar-width + $content-min-width
|