smaller font

Signed-off-by: Thomas Decrick <thomas.decrick@gmail.com>