@font-face {
    font-family: 'DejaVu Sans';
    font-style:  normal;
    font-weight: 400;
    src: url(undefined);
    src: local(DejaVu Sans Serif),
    local(DejaVuSansSerif),
    url(DejaVuSans.woff) format('woff');
}

@font-face {
    font-family: 'DejaVu Sans';
    font-style:  normal;
    font-weight: 700;
    src: url(undefined);
    src: local(DejaVu Sans Serif Bold),
    local(DejaVuSansSerif-Bold),
    url(DejaVuSansCondensed-Bold.woff) format('woff');
}