var $ = selector => document.querySelector(selector)

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