Fix the time position and set the font for @tadsan
Merge pull request #119 from elim/fix-tadsan-time-position-and-font

Fix the time position and set the font for @tadsan