@font-face {
      font-family: 'Industry';
      font-style: normal;
      font-weight: 100;
      font-display: swap;
      src: url('font/0') format('woff2');
    }
@font-face {
      font-family: 'Industry';
      font-style: normal;
      font-weight: 300;
      font-display: swap;
      src: url('font/1') format('woff2');
    }
@font-face {
      font-family: 'Industry';
      font-style: normal;
      font-weight: 500;
      font-display: swap;
      src: url('font/2') format('woff2');
    }
@font-face {
      font-family: 'Industry';
      font-style: normal;
      font-weight: 700;
      font-display: swap;
      src: url('font/3') format('woff2');
    }
:root {
      --menu-bg: var(--theme-color-primary);
      --menu-bg-hover: color-mix(in srgb, var(--theme-color-primary), #fff 5%);
      --menu-text: var(--theme-text-on-primary);
      --version-text: var(--theme-text-on-primary);
      --system-info-text: var(--theme-text-on-primary);
    --brand-logo-padding-top: 0.2rem;
    --brand-logo-padding-right: 0.2rem;
    --brand-logo-padding-bottom: 0.2rem;
    --brand-logo-padding-left: 0.2rem;
    --version-display: block;
    --table-row-height: 24px;
    --table-zebra-strength: 100%;
    --table-separator-strength: 100%;
    --table-max-column-width: 480px;
    --table-number-axis: 4ch;
    --table-zebra-color: color-mix(in srgb, var(--theme-color-primary) 12%, transparent);
    --table-separator-color: var(--theme-border-color);
    --theme-color-primary: #00375b;
    --theme-color-primary-rgb: 0,55,91;
    --theme-color-accent: #1da8e7;
    --theme-color-success: #67c23a;
    --theme-color-warning: #e6a23c;
    --theme-color-danger: #f56c6c;
    --theme-bg-page: #fafafa;
    --theme-bg-card: #ffffff;
    --theme-border-color: #dcdfe6;
    --theme-text-primary: #303133;
    --theme-text-regular: #606266;
    --theme-text-secondary: #909399;
    --theme-text-on-primary: #ffffff;
    --theme-text-on-accent: #000000;
    --theme-text-on-success: #000000;
    --theme-text-on-warning: #000000;
    --theme-text-on-danger: #000000;
    --theme-font-family: 'Industry', Inter, Roboto, 'Helvetica Neue', Helvetica, Arial, sans-serif;
    --theme-font-size-base: 16px;
    --boolean-badge-weight-plain: 500;
    --boolean-badge-weight-framed: 600;
    }