UI revamp

[eins78]

(some notes for myself)

• use grid instead of table for /execution(s)

nice to have:

• all 'code'-boxes (specs, stdout, …): provide per-line link and highlight ala github