var $ = selector => document.querySelector(selector)
// access server-side data using HTML data-* attributes
var $$ = (attr) => JSON.parse($("body").dataset[attr])