[Wed Aug  1 19:40:15 2018] : <font color='#ff8000'>Font is now Arial point size 10</font><br />