/* whole page */
body {
    font-family:        'dejavu serif', georgia, serif;
}