body {
    font-family: Times New Roman,Times,Georgia,"DejaVu Serif",serif;
}