﻿html, body {
    font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif;
}
/*consider changing the font to a Latex font*/