@supports (font-variation-settings: normal) {
  @font-face {
  font-family: 'Trip Sans VF';
  font-weight: normal;
  font-display: swap;
  src: url('TripSans-VF.woff') format('woff2-variations');
  font-variation-settings: 'wght' 400;
  }
  @font-face {
  font-family: 'Trip Sans VF';
  font-weight: bold;
  font-display: swap;
  src: url('TripSans-VF.woff') format('woff2-variations');
  font-variation-settings: 'wght' 700;
  }
  @font-face {
  font-family: 'Trip Sans VF';
  font-weight: 800;
  font-display: swap;
  src: url('TripSans-VF.woff') format('woff2-variations');
  font-variation-settings: 'wght' 800;
  }
  @font-face {
  font-family: 'Trip Sans VF';
  font-weight: 900;
  font-display: swap;
  src: url('TripSans-VF.woff') format('woff2-variations');
  font-variation-settings: 'wght' 900;
  }
}

@font-face {
  font-family: 'Trip Sans';
  font-style: normal;
  font-weight: normal;
  font-display: swap;
  src: url('TripSans-Regular.woff') format('woff2'),
    url('TripSans-Regular_v1.002.woff') format('woff');
 }
 
@font-face {
  font-family: 'Trip Sans';
  font-style: normal;
  font-weight: bold;
  font-display: swap;
  src: url('TripSans-Medium.woff') format('woff2'),
    url('TripSans-Medium_v1.002.woff') format('woff');
}

@font-face {
  font-family: 'Trip Sans Mono';
  font-style: normal;
  font-weight: normal;
  font-display: swap;
  src: url('TripSansMono-Regular.woff') format('woff2'),
    url('TripSansMono-Regular_v1.002.woff') format('woff');
}

html body {
  font-family: 'Trip Sans VF', 'Trip Sans', Arial, sans-serif !important;
}