html.zoom-compact{font-size:12px}html.large-ui{font-size:16px}