/* Default: the built-in look (blue accent), following the device's light
   or dark setting. Everything comes from gwiki.css; nothing to override. */