Scott Lamb e177cbd042 improve mobile-friendliness (#68) ... nav div changes: * make it togglable (on all devices) by hamburger button * on narrow devices, make it closed by default and be at the top rather than on the left open zoomed by default trim some arguably less important columns on narrow displays, and reduce some horizontal padding always show videos full-screen on narrow displays		2020-05-04 23:36:24 -07:00
..
index.css	improve mobile-friendliness (#68)	2020-05-04 23:36:24 -07:00
index.html	improve mobile-friendliness (#68)	2020-05-04 23:36:24 -07:00