html, body {
    font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
}
/*todo: use a latex font*/