1 $body-font: 'Linux Biolinum';
2 $header-font: 'Linux Libertine Display', Georgia, 'Times New Roman', Times, serif;
3 $code-font: 'DejaVu Sans Mono', 'Bitstream Vera Mono', 'Menlo', 'Consolas', 'Andale Mono', 'Lucida Console', 'Monospace', monospace;
11 font-family: 'Linux Libertine Display';
12 src: url('subset-LinLibertineDisplay.woff2') format('woff2'), url('subset-LinLibertineDisplay.woff') format('woff');
18 font-family: 'Linux Biolinum';
19 src: local('Linux Biolinum Italic'), local('LinBiolinumI'),
20 url('subset-LinBiolinumI.woff2') format('woff2'),
21 url('subset-LinBiolinumI.woff') format('woff');
27 font-family: 'Linux Biolinum';
28 src: local('Linux Biolinum'), local('LinBiolinum'),
29 url('subset-LinBiolinum.woff2') format('woff2'),
30 url('subset-LinBiolinum.woff') format('woff');
36 font-family: 'Linux Biolinum';
37 src: local('Linux Biolinum Bold'), local('LinBiolinumB'),
38 url('subset-LinBiolinumB.woff2') format('woff2'),
39 url('subset-LinBiolinumB.woff') format('woff');