/* tokens.css — shared design tokens for the GPS Server web UI. * * Served publicly at /static/tokens.css (see webserver.go). Every page links * this before its own