/*! Eclipse UI · Brisa: theme.css
 *  Los diales de tu marca. Va después de eclipse-ui.css; muévelos para hacerla tuya.
 */
:root {
  --eui-focus: initial;
  --eui-moon: initial;
  --eui-brand: #2f7d6d;
  --eui-ink: #0e1b19;
  --eui-paper: #f4f7f6;
  --eui-tint: 12%;
  --eui-roundness: 0.5;
  --eui-density: 0.94;
  --eui-depth: 0.35;
  --eui-motion: 0.8;
  --eui-halo: 0.6;
  --eui-line: 0.85;
  --eui-control-radius: initial;
  --eui-control-case: none;
  --eui-control-tracking: -0.005em;
  --eui-control-weight: 600;
  --eui-font-text: "Manrope", system-ui, -apple-system, sans-serif;
  --eui-font-display: "Manrope", system-ui, -apple-system, sans-serif;
  --eui-font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  --eui-display-weight: 700;
  --eui-display-tracking: -0.04em;
  --eui-display-leading: 1.02;
  --eui-display-style: normal;
  --eui-display-case: none;
  --eui-display-stretch: normal;
  --eui-display-soft: initial;
  --eui-display-wonk: initial;
}