quarantines: use a check mark for the dark mode filter

[pmg-gui.git] / js / mobile / prelude.js

/* global Framework7, Template7, Dom7 */

var $$ = Dom7;
var app, PMG; // set in app.js