/* Wird durch tools/sync-live.py mit den Original-Styles der Live-Domain befüllt. */