@book-fonts:    "DejaVu Sans Book",
                "Noto Sans Regular";

@bold-fonts:    "DejaVu Sans Bold",
                "Noto Sans Bold",
                @book-fonts;

@oblique-fonts: "DejaVu Sans Oblique",
                "Noto Sans Italic", 
                @book-fonts;

@condensed-sans-fonts: 
				"DejaVu Sans Condensed",
				"Noto Sans Regular Condensed", 
                @book-fonts;

@condensed-bold-sans-fonts: 
				"DejaVu Sans Condensed Bold",
                "Noto Sans Condensed Bold", 
                @bold-fonts;

@condensed-italic-sans-fonts:
				"DejaVu Sans Condensed Oblique",
				"Noto Sans Condensed Regular Italic", 
                @book-fonts;