1@font-face {
2 font-family: "DejaVu Sans";
3 src: url("fonts/DejaVuSans.ttf");
4}
5@font-face {
6 font-family: "DejaVu Sans";
7 src: url("fonts/DejaVuSans-Bold.ttf");
8 font-weight: bold;
9}
10@font-face {
11 font-family: "DejaVu Sans";
12 src: url("fonts/DejaVuSans-Oblique.ttf");
13 font-style: italic, oblique;
14}
15@font-face {
16 font-family: "DejaVu Sans";
17 src: url("fonts/DejaVuSans-BoldOblique.ttf");
18 font-weight: bold;
19 font-style: italic, oblique;
20}