fix(monitor/frontend): drop --type-body 13px → 12px (more density for table data; KPI/hero numbers unchanged)

2026-05-03 19:18:03 -04:00 · 2026-05-03 19:18:03 -04:00 · 887dc217d2
parent 0695f5d9a4
commit 887dc217d2
2 changed files with 2 additions and 2 deletions
--- a/PROJECTS/advanced/monitor-the-situation-dashboard/frontend/src/lib/ethos-tokens.ts
+++ b/PROJECTS/advanced/monitor-the-situation-dashboard/frontend/src/lib/ethos-tokens.ts
@ -21,7 +21,7 @@ export const density = {
 } as const;

 export const typeSizes = {
-  body: 13,
+  body: 12,
  label: 11,
  numL: 20,
  numXL: 28,
--- a/PROJECTS/advanced/monitor-the-situation-dashboard/frontend/src/styles/_tokens.scss
+++ b/PROJECTS/advanced/monitor-the-situation-dashboard/frontend/src/styles/_tokens.scss
@ -204,7 +204,7 @@ $container-full: 100%;
  --letter-spacing-label: 0.08em;

  // Sizes — intentionally smaller than SaaS defaults for operator density
-  --type-body:   13px;
+  --type-body:   12px;
  --type-label:  11px;   // UPPERCASE labels
  --type-num-l:  20px;   // KPI numbers
  --type-num-xl: 28px;   // hero KPI numbers (rare; only top-of-panel)