/* gnome-ui-latin */
@font-face {
	font-family: "GNOME UI";
	font-style: normal;
	font-weight: 100 900;
	font-stretch: 100%;
	src: local("GNOME UI"), local("GNOMEUI"), url(gnome-ui-latin.woff2) format("woff2");
	unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+2000-206F,U+2074,U+20AC,U+2122,U+2212,U+2215;
}