Bring up number keypad for port on mobile phones, URL for address

An alternative would be type="tel", which has bigger number buttons for me,
but it seems wrong to use.
respect notimestamp setting on mobile

marking the display: none as important gives it priority over
the display:inline for td.time on mobile
Merge pull request #235 from lorenzhs/portinput

Bring up number keypad for port on mobile phones, URL input for address
Merge pull request #236 from lorenzhs/notimestamp

respect notimestamp setting on mobile