/* Native optional UI stylesheet. Penbox tokens are loaded separately in index.html. */