summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--_static/dejavu-fonts/dejavu-fonts.css63
1 files changed, 42 insertions, 21 deletions
diff --git a/_static/dejavu-fonts/dejavu-fonts.css b/_static/dejavu-fonts/dejavu-fonts.css
index 3074751..178fcbd 100644
--- a/_static/dejavu-fonts/dejavu-fonts.css
+++ b/_static/dejavu-fonts/dejavu-fonts.css
@@ -1,130 +1,151 @@
@font-face {
font-family: 'DejaVuSans';
- src: url('DejaVuSans-BoldOblique.ttf') format('truetype');
+ src: url('DejaVuSans-BoldOblique.woff') format('woff'),
+ url('DejaVuSans-BoldOblique.ttf') format('truetype');
font-weight: bold;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSans';
- src: url('DejaVuSans-Oblique.ttf') format('truetype');
+ src: url('DejaVuSans-Oblique.woff') format('woff'),
+ url('DejaVuSans-Oblique.ttf') format('truetype');
font-weight: normal;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSans';
- src: url('DejaVuSans-Bold.ttf') format('truetype');
+ src: url('DejaVuSans-Bold.woff') format('woff'),
+ url('DejaVuSans-Bold.ttf') format('truetype');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSans';
- src: url('DejaVuSans-ExtraLight.ttf') format('truetype');
+ src: url('DejaVuSans-ExtraLight.woff') format('woff'),
+ url('DejaVuSans-ExtraLight.ttf') format('truetype');
font-weight: lighter;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSans';
- src: url('DejaVuSans.ttf') format('truetype');
+ src: url('DejaVuSans.woff') format('woff'),
+ url('DejaVuSans.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSansCondensed';
- src: url('DejaVuSansCondensed-BoldOblique.ttf') format('truetype');
+ src: url('DejaVuSansCondensed-BoldOblique.woff') format('woff'),
+ url('DejaVuSansCondensed-BoldOblique.ttf') format('truetype');
font-weight: bold;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSansCondensed';
- src: url('DejaVuSansCondensed-Oblique.ttf') format('truetype');
+ src: url('DejaVuSansCondensed-Oblique.woff') format('woff'),
+ url('DejaVuSansCondensed-Oblique.ttf') format('truetype');
font-weight: normal;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSansCondensed';
- src: url('DejaVuSansCondensed-Bold.ttf') format('truetype');
+ src: url('DejaVuSansCondensed-Bold.woff') format('woff'),
+ url('DejaVuSansCondensed-Bold.ttf') format('truetype');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSansCondensed';
- src: url('DejaVuSansCondensed.ttf') format('truetype');
+ src: url('DejaVuSansCondensed.woff') format('woff'),
+ url('DejaVuSansCondensed.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSansMono';
- src: url('DejaVuSansMono-BoldOblique.ttf') format('truetype');
+ src: url('DejaVuSansMono-BoldOblique.woff') format('woff'),
+ url('DejaVuSansMono-BoldOblique.ttf') format('truetype');
font-weight: bold;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSansMono';
- src: url('DejaVuSansMono-Oblique.ttf') format('truetype');
+ src: url('DejaVuSansMono-Oblique.woff') format('woff'),
+ url('DejaVuSansMono-Oblique.ttf') format('truetype');
font-weight: normal;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSansMono';
- src: url('DejaVuSansMono-Bold.ttf') format('truetype');
+ src: url('DejaVuSansMono-Bold.woff') format('woff'),
+ url('DejaVuSansMono-Bold.ttf') format('truetype');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSansMono';
- src: url('DejaVuSansMono.ttf') format('truetype');
+ src: url('DejaVuSansMono.woff') format('woff'),
+ url('DejaVuSansMono.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSerif';
- src: url('DejaVuSerif-BoldItalic.ttf') format('truetype');
+ src: url('DejaVuSerif-BoldItalic.woff') format('woff'),
+ url('DejaVuSerif-BoldItalic.ttf') format('truetype');
font-weight: bold;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSerif';
- src: url('DejaVuSerif-Italic.ttf') format('truetype');
+ src: url('DejaVuSerif-Italic.woff') format('woff'),
+ url('DejaVuSerif-Italic.ttf') format('truetype');
font-weight: normal;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSerif';
- src: url('DejaVuSerif-Bold.ttf') format('truetype');
+ src: url('DejaVuSerif-Bold.woff') format('woff'),
+ url('DejaVuSerif-Bold.ttf') format('truetype');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSerif';
- src: url('DejaVuSerif.ttf') format('truetype');
+ src: url('DejaVuSerif.woff') format('woff'),
+ url('DejaVuSerif.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSerifCondensed';
- src: url('DejaVuSerifCondensed-BoldItalic.ttf') format('truetype');
+ src: url('DejaVuSerifCondensed-BoldItalic.woff') format('woff'),
+ url('DejaVuSerifCondensed-BoldItalic.ttf') format('truetype');
font-weight: bold;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSerifCondensed';
- src: url('DejaVuSerifCondensed-Italic.ttf') format('truetype');
+ src: url('DejaVuSerifCondensed-Italic.woff') format('woff'),
+ url('DejaVuSerifCondensed-Italic.ttf') format('truetype');
font-weight: normal;
font-style: italic, oblique;
}
@font-face {
font-family: 'DejaVuSerifCondensed';
- src: url('DejaVuSerifCondensed-Bold.ttf') format('truetype');
+ src: url('DejaVuSerifCondensed-Bold.woff') format('woff'),
+ url('DejaVuSerifCondensed-Bold.ttf') format('truetype');
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: 'DejaVuSerifCondensed';
- src: url('DejaVuSerifCondensed.ttf') format('truetype');
+ src: url('DejaVuSerifCondensed.woff') format('woff'),
+ url('DejaVuSerifCondensed.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}