posting: Extract pid from log filename
Font size tweaks