css: tune font size in body
web: record hub commands history