HTML formatting

Also removes redundant holotable grab handling.